Datalog: a perspective and the potential

Authors:
Yuri Gurevich
Affiliations:
Microsoft Research, Redmond, Washington
Venue:
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Year:
2012

Citing 12
Cited 0

Existential fixed-point logic

Computation theory and logic
Datalog extensions for database queries and updates

Journal of Computer and System Sciences
Datalog vs first-order logic

Proceedings of the 30th IEEE symposium on Foundations of computer science
The underlying logic of hoare logic

Current trends in theoretical computer science
Complexity and expressive power of logic programming

ACM Computing Surveys (CSUR)
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies

Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
DATALOG with Constraints: A Foundation for Trust Management Languages

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
On preservation under homomorphisms and unions of conjunctive queries

Journal of the ACM (JACM)
Homomorphism preservation theorems

Journal of the ACM (JACM)
DKAL: Distributed-Knowledge Authorization Language

CSF '08 Proceedings of the 2008 21st IEEE Computer Security Foundations Symposium
One Useful Logic That Defines Its Own Truth

MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
From primal infon logic with individual variables to datalog

Correct Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

Our main goal is to put Datalog into a proper logic perspective. It may be too early to put Datalog into a proper perspective from the point of view of applications; nevertheless we discuss why Datalog pops up so often in applications.