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.2161746e-05
Overall Rank
3,541 | 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
366 Object Identity As A Query Language Primitive 1989 SIGMOD 0.00019923978
1,003 ILOG: Declarative Creation and Manipulation of Object Identifiers 1990 VLDB 0.00012597028
2,716 Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions 1993 PODS 8.1006747e-05
3,796 Non-Deterministic Languages to Express Deterministic Transformations 1990 PODS 7.0166914e-05
4,076 Monotonic Aggregation in Deductive Databases 1992 PODS 6.8187173e-05
5,857 Methods and Rules 1993 SIGMOD 5.968474e-05
6,201 Safety of Datalog Queries over Infinite Databases 1989 PODS 5.8507344e-05
10,036 J-Logic: Logical Foundations for JSON Querying 2017 PODS 5.0925155e-05
13,389 Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases 1991 PODS 4.9793485e-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.00059996338
41 Testing Implications Of Data Dependencies 1979 SIGMOD 0.00045899672
159 Inclusion dependencies and their interaction with functional dependencies (Extended abstract) 1982 PODS 0.00027958527
177 Decidability And Expressiveness Aspects Of Logic Queries 1987 PODS 0.000266613
317 OPTIMIZING DATALOG PROGRAMS (Extended Abstract) 1987 PODS 0.00021220438
486 A Calculus for Complex Objects 1986 PODS 0.00017471997
635 LDL: A Logic-Based Data-Language 1986 VLDB 0.00015368492
828 Logic Programming With Sets 1987 PODS 0.00013614671
970 On the Representation and Querying of Sets of Possible Worlds 1987 SIGMOD 0.00012772086
1,049 Sets and Negation in a Logic Database Language (LDL1) 1987 PODS 0.0001229888
2,459 Update Semantics for Incomplete Databases 1985 VLDB 8.4353518e-05
3,807 Dependency Satisfaction in Databases with Incomplete Information 1984 VLDB 7.0097907e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

# Overall Rank Paper Year Venue
1 8,051 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,149 Datalog with First-Class Facts 2025 VLDB
4 8,136 On the First-Order Expressibility of Recursive Queries 1989 PODS
5 5,857 Methods and Rules 1993 SIGMOD
6 317 OPTIMIZING DATALOG PROGRAMS (Extended Abstract) 1987 PODS
7 6,350 Well-Founded Semantics for Extended Datalog and Ontological Reasoning 2013 PODS
8 7,682 Database Updates in Logic Programming 1988 PODS
9 13,317 Adding Disjunction to Datalog (Extended Abstract) 1994 PODS
10 2,716 Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions 1993 PODS