BOOK-CHAPTER
The generalized counting method for recursive logic queries
Year: 1986 Lecture notes in computer science Pages: 31-53 Publisher: Springer Science+Business Media
Keywords:
Forward chaining Computer science Computation Chaining Backward chaining Fixed point Function (biology) Theoretical computer science Deductive database Algorithm Horn clause Prolog Mathematics Expert system Artificial intelligence
Metrics
16
Cited By
3.51
FWCI (Field Weighted Citation Impact)
20
Refs
0.93
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Advanced Database Systems and Queries
Physical Sciences → Computer Science → Computer Networks and Communications
Distributed systems and fault tolerance
Physical Sciences → Computer Science → Computer Networks and Communications
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
JOURNAL ARTICLE
The generalized counting method for recursive logic queries
Journal: Theoretical Computer Science Year: 1986 Vol: 62 (1-2)Pages: 187-220
JOURNAL ARTICLE
Evaluating linear-recursive logic queries against cyclic relations
Journal: Decision Support Systems Year: 1988 Vol: 4 (1)Pages: 148-148
JOURNAL ARTICLE
Privately Answering Counting Queries with Generalized Gaussian Mechanisms.
Journal: Leibniz-Zentrum für Informatik (Schloss Dagstuhl) Year: 2021 Vol: 192
JOURNAL ARTICLE
An optimization strategy for recursive queries in logic databases
Seppo SippuEljas Soisalon-Soininen
Year: 2003 Pages: 470-477
JOURNAL ARTICLE
Experimenting with recursive queries in database and logic programming systems
Giorgio TerracinaNicola LeoneVincenzino LioClaudio Panetta
Journal: Theory and Practice of Logic Programming Year: 2007 Vol: 8 (2)Pages: 129-165