JOURNAL ARTICLE
Querying datalog programs with temporal logic
Year: 1993 Journal: Acta Informatica Vol: 30 (7)Pages: 679-700 Publisher: Springer Science+Business Media
Keywords:
Datalog Expressive power Computer science Programming language Fragment (logic) Class (philosophy) Semantics (computer science) Description logic Deductive database Theoretical computer science Artificial intelligence
Metrics
0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
13
Refs
0.17
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Computability, Logic, AI Algorithms
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
JOURNAL ARTICLE
On temporal logic versus datalog
Irène GuessarianEugénie FoustoucosTheodore AndronikosFoto Afrati
Journal: Theoretical Computer Science Year: 2003 Vol: 303 (1)Pages: 103-133
BOOK-CHAPTER
Querying TSQL2 databases with temporal logic
Michael H. BöhlenJan ChomickiRichard T. SnodgrassDavid Toman
Lecture notes in computer science Year: 1996 Pages: 325-341
JOURNAL ARTICLE
Querying ATSQL databases with temporal logic
Jan ChomickiDavid TomanMichael H. Böhlen
Journal: ACM Transactions on Database Systems Year: 2001 Vol: 26 (2)Pages: 145-178
JOURNAL ARTICLE
Finitely Materialisable Datalog Programs with Metric Temporal Operators
Przemysław Andrzej WałęgaMichał ZawidzkiBernardo Cuenca Grau
Year: 2021 Pages: 619-628
BOOK-CHAPTER
Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies
Mark KaminskiYavor NenovBernardo Cuenca Grau
Lecture notes in computer science Year: 2014 Pages: 76-91