JOURNAL ARTICLE
Bottom-up evaluation of datalog with negation
Year: 1994 Journal: Journal of Computer Science and Technology Vol: 9 (3)Pages: 229-244 Publisher: Springer Science+Business Media
Keywords:
Datalog Fixed point Negation Computer science Semantics (computer science) Programming language Program transformation Theory of computation Constructive Well-founded semantics Operational semantics Algorithm Mathematics Denotational semantics Process (computing)
Metrics
1
Cited By
0.00
FWCI (Field Weighted Citation Impact)
20
Refs
0.12
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Advanced Algebra and Logic
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
JOURNAL ARTICLE
Bottom-Up Evaluation of Datalog: Preliminary Report
Journal: Electronic Proceedings in Theoretical Computer Science Year: 2016 Vol: 234 Pages: 13-26
BOOK-CHAPTER
Bottom-up evaluation of Datalog programs with arithmetic constraints
Laurent FribourgMarcos Veloso Peixoto
Lecture notes in computer science Year: 1994 Pages: 311-325
JOURNAL ARTICLE
Extension table evaluation of datalog programs with negation
Year: 2002 Vol: 1 Pages: 792-798