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)
Incoming Non-self Citations Over Time
Authors
- 1. Serge Abiteboul
- 2. Richard Hull
Incoming Citations (Sorted by Pagerank)
Showing 9 of 9 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 352 | Object Identity As A Query Language Primitive | 1989 | SIGMOD | 0.00026299604 |
| 1,018 | ILOG: Declarative Creation and Manipulation of Object Identifiers | 1990 | VLDB | 0.00014627963 |
| 2,830 | Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions | 1993 | PODS | 8.054172e-05 |
| 4,136 | Safety of Datalog Queries over Infinite Databases | 1989 | PODS | 6.4188795e-05 |
| 4,223 | Monotonic Aggregation in Deductive Databases | 1992 | PODS | 6.3474752e-05 |
| 4,491 | Non-Deterministic Languages to Express Deterministic Transformations | 1990 | PODS | 6.1422281e-05 |
| 5,100 | Methods and Rules | 1993 | SIGMOD | 5.6996909e-05 |
| 9,715 | J-Logic: Logical Foundations for JSON Querying | 2017 | PODS | 4.299267e-05 |
| 12,904 | Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases | 1991 | PODS | 4.1945683e-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 |
|---|---|---|---|---|
| 12 | The Functional Data Model and the Data Language DAPLEX | 1979 | SIGMOD | 0.0011248121 |
| 38 | Testing Implications Of Data Dependencies | 1979 | SIGMOD | 0.00075110004 |
| 104 | Inclusion dependencies and their interaction with functional dependencies (Extended abstract) | 1982 | PODS | 0.00048766186 |
| 172 | Decidability And Expressiveness Aspects Of Logic Queries | 1987 | PODS | 0.00038808816 |
| 200 | OPTIMIZING DATALOG PROGRAMS (Extended Abstract) | 1987 | PODS | 0.00035012858 |
| 440 | A Calculus for Complex Objects | 1986 | PODS | 0.00023084404 |
| 519 | LDL: A Logic-Based Data-Language | 1986 | VLDB | 0.00021154077 |
| 649 | Logic Programming With Sets | 1987 | PODS | 0.00018662857 |
| 827 | On the Representation and Querying of Sets of Possible Worlds | 1987 | SIGMOD | 0.00016220185 |
| 912 | Sets and Negation in a Logic Database Language (LDL1) | 1987 | PODS | 0.00015414126 |
| 2,197 | Update Semantics for Incomplete Databases | 1985 | VLDB | 9.3085358e-05 |
| 3,496 | Dependency Satisfaction in Databases with Incomplete Information | 1984 | VLDB | 7.0397186e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 7,368 | IDLOG: Extending the Expressive Power of Deductive Database Languages | 1990 | SIGMOD | 4.7507411e-05 |
| 3,010 | A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract) | 1988 | SIGMOD | 7.7205569e-05 |
| 9,813 | Datalog with First-Class Facts | 2025 | VLDB | 4.2783272e-05 |
| 7,591 | On the First-Order Expressibility of Recursive Queries | 1989 | PODS | 4.702934e-05 |
| 5,100 | Methods and Rules | 1993 | SIGMOD | 5.6996909e-05 |
| 200 | OPTIMIZING DATALOG PROGRAMS (Extended Abstract) | 1987 | PODS | 0.00035012858 |
| 4,298 | Well-Founded Semantics for Extended Datalog and Ontological Reasoning | 2013 | PODS | 6.2885419e-05 |
| 6,932 | Database Updates in Logic Programming | 1988 | PODS | 4.8925595e-05 |
| 12,833 | Adding Disjunction to Datalog (Extended Abstract) | 1994 | PODS | 4.1945683e-05 |
| 2,830 | Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions | 1993 | PODS | 8.054172e-05 |