DBScholar

Back to papers

IDLOG: Extending the Expressive Power of Deductive Database Languages

Summary: IDLOG uses tuple identifications to realize linear orders, enabling aggregation beyond DATALOG. Non-deterministic; deterministic subset is complete for computable queries, with undecidable membership but a test; extended queries allow infinite-domain constants and aggregation. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID
hdbd3c41c1100eb4c
Venue
SIGMOD
Year
1990
Pagerank
5.3992494e-05
Overall Rank
8,051 | 45.88%
DOI
10.1145/93597.93621

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@inproceedings{sheng_sigmod90,
        title = {{IDLOG: Extending the Expressive Power of Deductive Database Languages}},
        author = {Sheng, Yeh-Heng},
        series = {{SIGMOD} '90},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/93597.93621},
        url = {https://dl.acm.org/doi/10.1145/93597.93621},
        year = {1990}
}

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank Citing Paper Year Venue Pagerank
1,003 ILOG: Declarative Creation and Manipulation of Object Identifiers 1990 VLDB 0.00012597028
13,395 A Non-deterministic Deductive Database Language 1991 SIGMOD 4.9793485e-05
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 8 of 8 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank Cited Paper Year Venue Pagerank
67 An Amateur's Introduction to Recursive Query Processing Strategies 1986 SIGMOD 0.00038009523
718 PROCEDURAL AND DECLARATIVE DATABASE UPDATE LANGUAGES (Extended Abstract) 1988 PODS 0.00014530776
1,012 Why Not Negation By Fixpoint? 1988 PODS 0.00012520852
1,556 Unfounded Sets and Well-Founded Semantics for General Logic Programs 1988 PODS 0.00010267435
1,767 A Transaction Language Complete for Database Update and Specification 1987 PODS 9.6939822e-05
2,150 Theory of Database Queries (Extended Abstract) 1988 PODS 8.953998e-05
2,457 Untyped Sets, Invention, and Computable Queries 1989 PODS 8.4375276e-05
6,433 Optimizing Existential Datalog Queries 1988 PODS 5.7868542e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

# Overall Rank Paper Year Venue
1 6,892 Modelling Non Deterministic Queries and Updates In Deductive Databases 1988 VLDB
2 13,266 Static Analysis of Intensional Databases in U-Datalog 1996 PODS
3 13,361 A Domain-theoretic Approach to Integrating Functional and Logic Database Languages 1993 VLDB
4 1,049 Sets and Negation in a Logic Database Language (LDL1) 1987 PODS
5 559 A New Approach to Database Logic 1984 PODS
6 3,796 Non-Deterministic Languages to Express Deterministic Transformations 1990 PODS
7 2,844 Making Deductive Database a Practical Technology: a step forward 1990 SIGMOD
8 4,646 On the Equivalence of Database Restructurings Involving Object Identifiers 1991 PODS
9 1,003 ILOG: Declarative Creation and Manipulation of Object Identifiers 1990 VLDB
10 13,395 A Non-deterministic Deductive Database Language 1991 SIGMOD