Independence in Database Relations
From MaRDI portal
Publication:2849431
DOI10.1007/978-3-642-39992-3_17zbMath1394.68116MaRDI QIDQ2849431
Juha Kontinen, Sebastian Link, Jouko Väänänen
Publication date: 17 September 2013
Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-39992-3_17
68P15: Database theory
03B70: Logic in computer science
03B25: Decidability of theories and sets of sentences