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
2448
Venue
SIGMOD
Year
1988
Pagerank
7.3807586e-05
Overall Rank
3,476 | 76.16%
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
355 Object Identity As A Query Language Primitive 1989 SIGMOD 0.00020351749
971 ILOG: Declarative Creation and Manipulation of Object Identifiers 1990 VLDB 0.00012875736
2,662 Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions 1993 PODS 8.2831426e-05
3,712 Non-Deterministic Languages to Express Deterministic Transformations 1990 PODS 7.1777407e-05
4,002 Monotonic Aggregation in Deductive Databases 1992 PODS 6.9661579e-05
5,734 Methods and Rules 1993 SIGMOD 6.105443e-05
6,077 Safety of Datalog Queries over Infinite Databases 1989 PODS 5.9850223e-05
9,851 J-Logic: Logical Foundations for JSON Querying 2017 PODS 5.2094004e-05
13,099 Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases 1991 PODS 5.093636e-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
15 The Functional Data Model and the Data Language DAPLEX 1979 SIGMOD 0.00061144858
40 Testing Implications Of Data Dependencies 1979 SIGMOD 0.00046918506
162 Inclusion dependencies and their interaction with functional dependencies (Extended abstract) 1982 PODS 0.00027886326
174 Decidability And Expressiveness Aspects Of Logic Queries 1987 PODS 0.00027231487
313 OPTIMIZING DATALOG PROGRAMS (Extended Abstract) 1987 PODS 0.0002168869
475 A Calculus for Complex Objects 1986 PODS 0.00017864549
622 LDL: A Logic-Based Data-Language 1986 VLDB 0.00015686753
799 Logic Programming With Sets 1987 PODS 0.00013911498
947 On the Representation and Querying of Sets of Possible Worlds 1987 SIGMOD 0.00013041389
1,026 Sets and Negation in a Logic Database Language (LDL1) 1987 PODS 0.00012578477
2,402 Update Semantics for Incomplete Databases 1985 VLDB 8.6276184e-05
3,750 Dependency Satisfaction in Databases with Incomplete Information 1984 VLDB 7.1534069e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

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