JOURNAL ARTICLE
More on tractable disjunctive Datalog
Rachel Ben‐Eliyahu‐ZoharyLuigi PalopoliVictoria Zemlyanker
Year: 2000 Journal: The Journal of Logic Programming Vol: 46 (1-2)Pages: 61-101 Publisher: Elsevier BV
Keywords:
Datalog Expressive power Fragment (logic) Computer science Property (philosophy) Time complexity Theoretical computer science Deductive database Programming language Mathematics Algorithm
Metrics
6
Cited By
0.42
FWCI (Field Weighted Citation Impact)
51
Refs
0.73
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Semantic Web and Ontologies
Physical Sciences → Computer Science → Artificial Intelligence
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
JOURNAL ARTICLE
Disjunctive datalog
Thomas EiterGeorg GottlobHeikki Mannila
Journal: ACM Transactions on Database Systems Year: 1997 Vol: 22 (3)Pages: 364-418
BOOK-CHAPTER
Tractable disjunctive constraints
David A. CohenPeter JeavonsManolis Koubarakis
Lecture notes in computer science Year: 1997 Pages: 478-490
JOURNAL ARTICLE
Building tractable disjunctive constraints
David A. CohenPeter JeavonsPeter JönssonManolis Koubarakis
Journal: Journal of the ACM Year: 2000 Vol: 47 (5)Pages: 826-853
BOOK-CHAPTER
The Disjunctive Datalog System DLV
Mario AlvianoWolfgang FaberNicola LeoneSimona PerriGerald PfeiferGiorgio Terracina
Lecture notes in computer science Year: 2011 Pages: 282-301
JOURNAL ARTICLE
Enhancing Disjunctive Datalog by constraints
Francesco BuccafurriNicola LeonePasquale Rullo
Journal: IEEE Transactions on Knowledge and Data Engineering Year: 2000 Vol: 12 (5)Pages: 845-860