Datalog vs first-order logic

DOI10.1016/S0022-0000(05)80071-6MaRDI QIDQ1342861zbMATH OpenFDO

Authors Yuri Gurevich, Miklós Ajtai

Publication date 15 January 1995

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

zbMATH Keywords

first-order logicquery languagesdatalog

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Datalog and logic databases
• On first-order-logic databases
• On Datalog vs. LFP
• First order data types and first order logic
• On temporal logic versus Datalog
• scientific article; zbMATH DE number 4145877
• Publication:4508941
• scientific article; zbMATH DE number 569773
• On datalog vs polynomial time

Cites work

• scientific article; zbMATH DE number 4008383 (Why is no real title available?)
• scientific article; zbMATH DE number 3333278 (Why is no real title available?)
• Graph minors. III. Planar tree-width

Cited in

(20)

• The expressive power of revised Datalog on problems with closure properties
• A Logical Approach to Constraint Satisfaction
• Inherent complexity of recursive queries
• One Useful Logic That Defines Its Own Truth
• Loop-separable programs and their first-order definability
• On datalog vs polynomial time
• Bounded arity Datalog \((\neq)\) queries on graphs
• Infinitary logic for computer science
• Database Theory, Yuri, and Me
• Homomorphism preservation on quasi-wide classes
• Comparison of expressive power of some query languages for databases
• Expressiveness of logic programs under the general stable model semantics
• Guarded Ontology-Mediated Queries
• A progression semantics for first-order logic programs
• Preservation theorems in finite model theory
• Tarski's influence on computer science
• Query answering over inconsistent knowledge bases: a probabilistic approach
• On digraph coloring problems and treewidth duality
• Can datalog be approximated?
• The expressive power of higher-order Datalog

Describes a project that uses

Uses Software

• Datalog

This page was built for publication: Datalog vs first-order logic

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