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: 2532
Venue: SIGMOD
Year: 1990
Pagerank: 5.5228272e-05
Overall Rank: 7,885 | 45.91%
DOI: 10.1145/93597.93621

Incoming Non-self Citations Over Time

Authors

1. Yeh-Heng Sheng (State University of New York at Stony Brook)

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
971	ILOG: Declarative Creation and Manipulation of Object Identifiers	1990	VLDB	0.00012875736
13,105	A Non-deterministic Deductive Database Language	1991	SIGMOD	5.093636e-05

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
63	An Amateur's Introduction to Recursive Query Processing Strategies	1986	SIGMOD	0.00038782376
702	PROCEDURAL AND DECLARATIVE DATABASE UPDATE LANGUAGES (Extended Abstract)	1988	PODS	0.00014855299
989	Why Not Negation By Fixpoint?	1988	PODS	0.00012804792
1,522	Unfounded Sets and Well-Founded Semantics for General Logic Programs	1988	PODS	0.00010502706
1,726	A Transaction Language Complete for Database Update and Specification	1987	PODS	9.9156202e-05
2,110	Theory of Database Queries (Extended Abstract)	1988	PODS	9.1532803e-05
2,400	Untyped Sets, Invention, and Computable Queries	1989	PODS	8.6299917e-05
6,307	Optimizing Existential Datalog Queries	1988	PODS	5.9196585e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	6,752	Modelling Non Deterministic Queries and Updates In Deductive Databases	1988	VLDB
2	12,976	Static Analysis of Intensional Databases in U-Datalog	1996	PODS
3	13,071	A Domain-theoretic Approach to Integrating Functional and Logic Database Languages	1993	VLDB
4	1,026	Sets and Negation in a Logic Database Language (LDL1)	1987	PODS
5	544	A New Approach to Database Logic	1984	PODS
6	3,712	Non-Deterministic Languages to Express Deterministic Transformations	1990	PODS
7	2,783	Making Deductive Database a Practical Technology: a step forward	1990	SIGMOD
8	4,555	On the Equivalence of Database Restructurings Involving Object Identifiers	1991	PODS
9	971	ILOG: Declarative Creation and Manipulation of Object Identifiers	1990	VLDB
10	13,105	A Non-deterministic Deductive Database Language	1991	SIGMOD