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 |
|---|---|---|---|---|
| 353 | Object Identity As A Query Language Primitive | 1989 | SIGMOD | 0.00026275228 |
| 1,020 | ILOG: Declarative Creation and Manipulation of Object Identifiers | 1990 | VLDB | 0.00014614067 |
| 2,836 | Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions | 1993 | PODS | 8.0466188e-05 |
| 4,138 | Safety of Datalog Queries over Infinite Databases | 1989 | PODS | 6.4127061e-05 |
| 4,220 | Monotonic Aggregation in Deductive Databases | 1992 | PODS | 6.3414331e-05 |
| 4,494 | Non-Deterministic Languages to Express Deterministic Transformations | 1990 | PODS | 6.1363251e-05 |
| 5,099 | Methods and Rules | 1993 | SIGMOD | 5.6942143e-05 |
| 9,714 | J-Logic: Logical Foundations for JSON Querying | 2017 | PODS | 4.2951473e-05 |
| 12,914 | Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases | 1991 | PODS | 4.1905499e-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.0011268747 |
| 38 | Testing Implications Of Data Dependencies | 1979 | SIGMOD | 0.0007528369 |
| 105 | Inclusion dependencies and their interaction with functional dependencies (Extended abstract) | 1982 | PODS | 0.00049082041 |
| 173 | Decidability And Expressiveness Aspects Of Logic Queries | 1987 | PODS | 0.00038731283 |
| 209 | OPTIMIZING DATALOG PROGRAMS (Extended Abstract) | 1987 | PODS | 0.00034147258 |
| 443 | A Calculus for Complex Objects | 1986 | PODS | 0.00023059917 |
| 520 | LDL: A Logic-Based Data-Language | 1986 | VLDB | 0.00021145923 |
| 652 | Logic Programming With Sets | 1987 | PODS | 0.00018643929 |
| 823 | On the Representation and Querying of Sets of Possible Worlds | 1987 | SIGMOD | 0.00016225326 |
| 910 | Sets and Negation in a Logic Database Language (LDL1) | 1987 | PODS | 0.00015398775 |
| 2,203 | Update Semantics for Incomplete Databases | 1985 | VLDB | 9.2995519e-05 |
| 3,503 | Dependency Satisfaction in Databases with Incomplete Information | 1984 | VLDB | 7.0332465e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 7,363 | IDLOG: Extending the Expressive Power of Deductive Database Languages | 1990 | SIGMOD | 4.7461604e-05 |
| 3,012 | A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract) | 1988 | SIGMOD | 7.7129076e-05 |
| 9,812 | Datalog with First-Class Facts | 2025 | VLDB | 4.2742278e-05 |
| 7,594 | On the First-Order Expressibility of Recursive Queries | 1989 | PODS | 4.6983854e-05 |
| 5,099 | Methods and Rules | 1993 | SIGMOD | 5.6942143e-05 |
| 209 | OPTIMIZING DATALOG PROGRAMS (Extended Abstract) | 1987 | PODS | 0.00034147258 |
| 4,291 | Well-Founded Semantics for Extended Datalog and Ontological Reasoning | 2013 | PODS | 6.2824978e-05 |
| 6,934 | Database Updates in Logic Programming | 1988 | PODS | 4.8878659e-05 |
| 12,842 | Adding Disjunction to Datalog (Extended Abstract) | 1994 | PODS | 4.1905499e-05 |
| 2,836 | Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions | 1993 | PODS | 8.0466188e-05 |