JOURNAL ARTICLE

Querying datalog programs with temporal logic

Alexander Tuzhilin

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
© 2026 ScienceGate Book Chapters — All rights reserved.