DBScholar

Back to papers

Data Functions, Datalog and Negation (Extended Abstract)

Summary: Extends Datalog with functions for conventional and stratified programs; consistency is undecidable in general, but decidable under pairwise consistency. Relates extension to functional dependencies; FD-FD undecidable, TGD-EGD decidable for stratified Datalog; COL integration. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID
h0967b0f71c548e8d
Venue
SIGMOD
Year
1988
Pagerank
7.2127593e-05
Overall Rank
3,541 | 76.21%
DOI
10.1145/50202.50218

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@inproceedings{abiteboul_sigmod88,
        title = {{Data Functions, Datalog and Negation (Extended Abstract)}},
        author = {Abiteboul, Serge and Hull, Richard},
        series = {{SIGMOD} '88},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/50202.50218},
        url = {https://dl.acm.org/doi/10.1145/50202.50218},
        year = {1988}
}

Incoming Citations (Sorted by Pagerank)

Showing 9 of 9 citing papers.

Rank Citing Paper Year Venue Pagerank
366 Object Identity As A Query Language Primitive 1989 SIGMOD 0.00019914615
1,003 ILOG: Declarative Creation and Manipulation of Object Identifiers 1990 VLDB 0.00012591126
2,716 Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions 1993 PODS 8.0968483e-05
3,799 Non-Deterministic Languages to Express Deterministic Transformations 1990 PODS 7.0133698e-05
4,079 Monotonic Aggregation in Deductive Databases 1992 PODS 6.8154895e-05
5,859 Methods and Rules 1993 SIGMOD 5.9656486e-05
6,206 Safety of Datalog Queries over Infinite Databases 1989 PODS 5.8479648e-05
10,041 J-Logic: Logical Foundations for JSON Querying 2017 PODS 5.0901047e-05
13,395 Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases 1991 PODS 4.9769913e-05
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 12 of 12 cited papers.

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

Rank Cited Paper Year Venue Pagerank
16 The Functional Data Model and the Data Language DAPLEX 1979 SIGMOD 0.00059968627
41 Testing Implications Of Data Dependencies 1979 SIGMOD 0.00045878061
159 Inclusion dependencies and their interaction with functional dependencies (Extended abstract) 1982 PODS 0.00027945388
177 Decidability And Expressiveness Aspects Of Logic Queries 1987 PODS 0.00026648806
317 OPTIMIZING DATALOG PROGRAMS (Extended Abstract) 1987 PODS 0.00021210493
486 A Calculus for Complex Objects 1986 PODS 0.00017463801
636 LDL: A Logic-Based Data-Language 1986 VLDB 0.00015361511
828 Logic Programming With Sets 1987 PODS 0.00013608891
971 On the Representation and Querying of Sets of Possible Worlds 1987 SIGMOD 0.00012766663
1,049 Sets and Negation in a Logic Database Language (LDL1) 1987 PODS 0.00012293092
2,459 Update Semantics for Incomplete Databases 1985 VLDB 8.431401e-05
3,808 Dependency Satisfaction in Databases with Incomplete Information 1984 VLDB 7.0068633e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

# Overall Rank Paper Year Venue
1 8,057 IDLOG: Extending the Expressive Power of Deductive Database Languages 1990 SIGMOD
2 3,415 A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract) 1988 SIGMOD
3 10,153 Datalog with First-Class Facts 2025 VLDB
4 8,142 On the First-Order Expressibility of Recursive Queries 1989 PODS
5 5,859 Methods and Rules 1993 SIGMOD
6 317 OPTIMIZING DATALOG PROGRAMS (Extended Abstract) 1987 PODS
7 6,354 Well-Founded Semantics for Extended Datalog and Ontological Reasoning 2013 PODS
8 7,688 Database Updates in Logic Programming 1988 PODS
9 13,323 Adding Disjunction to Datalog (Extended Abstract) 1994 PODS
10 2,716 Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions 1993 PODS