Characterizing data dependencies then and now

DOI10.1007/978-3-031-86319-6_24MaRDI QIDQ7236651zbMATH OpenFDO

Authors Phokion G. Kolaitis, Andreas Pieris

Publication date 29 April 2026

Full work available at URL https://doi.org/10.1007/978-3-031-86319-6_24

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Combinatorics (05-XX) Computer science (68-XX)

Cites work

• A Proof Procedure for Data Dependencies
• A relational model of data for large shared data banks
• Data exchange: semantics and query answering
• Horn clauses and database dependencies
• scientific article; zbMATH DE number 3815000 (Why is no real title available?)
• scientific article; zbMATH DE number 3723857 (Why is no real title available?)
• scientific article; zbMATH DE number 3076636 (Why is no real title available?)
• Introduction to model theory and to the metamathematics of algebra
• Model theory in computer science: my own recurrent themes
• On Extensions of Elementary Logic
• On rules with existential variables: walking the decidability line
• On the expressive power of data dependencies
• The decision problem for some classes of sentences without quantifiers
• Towards more expressive ontology languages: the query answering problem

This page was built for publication: Characterizing data dependencies then and now

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7236651)