Querying logical databases

DOI10.1016/0022-0000(86)90016-4MaRDI QIDQ579967zbMATH OpenOpenAlexFDO

Authors Moshe Y. Vardi

Publication date 1986

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0022-0000(86)90016-4

zbMATH Keywords

approximation algorithmrelational databasesdatabase managementclosed-world databases with unknown valuescomplexity of evaluating queries in logical databases

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20)

Recommendations

• scientific article; zbMATH DE number 18538
• scientific article; zbMATH DE number 219205
• scientific article; zbMATH DE number 4049159
• The Evaluation and the Computational Complexity of Datalog Queries of Boolean Constraint Databases
• Implementation of logical query languages for databases

Cites work

• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• A logic for default reasoning
• In memoriam Witold Lipski, jun. (1949--1985)
• Null values in a relational data base
• Structure and complexity of relational queries
• The Semantics of Predicate Logic as a Programming Language
• The polynomial-time hierarchy

Cited in

(16)

• Querying disjunctive databases through nonmonotonic logics
• The complexity of querying indefinite data about linearly ordered domains
• Simulating Dynamic Systems Using Linear Time Calculus Theories
• On the representation and querying of sets of possible worlds
• Paraconsistent logic and query answering in inconsistent databases
• scientific article; zbMATH DE number 2020203 (Why is no real title available?)
• Intuitionistic interpretation of deductive databases with incomplete information
• Dynamic query interpretation in relational databases
• Recursively indefinite databases
• Incomplete deductive databases
• Tractable reasoning via approximation
• The complexity of query evaluation in indefinite temporal constraint databases
• The complexity of propositional closed world reasoning and circumscription
• Towards an algebraic theory of information integration
• scientific article; zbMATH DE number 4049159 (Why is no real title available?)
• scientific article; zbMATH DE number 4064541 (Why is no real title available?)

This page was built for publication: Querying logical databases

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