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.188942e-05
Overall Rank
3,551 | 76.20%
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
368 Object Identity As A Query Language Primitive 1989 SIGMOD 0.00019850502
1,004 ILOG: Declarative Creation and Manipulation of Object Identifiers 1990 VLDB 0.00012557552
2,727 Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions 1993 PODS 8.0704592e-05
3,808 Non-Deterministic Languages to Express Deterministic Transformations 1990 PODS 6.9901793e-05
4,102 Monotonic Aggregation in Deductive Databases 1992 PODS 6.7929603e-05
5,872 Methods and Rules 1993 SIGMOD 5.9459225e-05
6,219 Safety of Datalog Queries over Infinite Databases 1989 PODS 5.8286278e-05
10,080 J-Logic: Logical Foundations for JSON Querying 2017 PODS 5.0732737e-05
13,436 Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases 1991 PODS 4.9605343e-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.00059778867
41 Testing Implications Of Data Dependencies 1979 SIGMOD 0.00045733094
159 Inclusion dependencies and their interaction with functional dependencies (Extended abstract) 1982 PODS 0.00027867985
179 Decidability And Expressiveness Aspects Of Logic Queries 1987 PODS 0.00026563438
319 OPTIMIZING DATALOG PROGRAMS (Extended Abstract) 1987 PODS 0.00021142713
488 A Calculus for Complex Objects 1986 PODS 0.00017406684
638 LDL: A Logic-Based Data-Language 1986 VLDB 0.0001531355
831 Logic Programming With Sets 1987 PODS 0.00013564613
974 On the Representation and Querying of Sets of Possible Worlds 1987 SIGMOD 0.0001272688
1,056 Sets and Negation in a Logic Database Language (LDL1) 1987 PODS 0.00012252667
2,467 Update Semantics for Incomplete Databases 1985 VLDB 8.4035566e-05
3,817 Dependency Satisfaction in Databases with Incomplete Information 1984 VLDB 6.9840047e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

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