Towards a Real Horn Clause Language
Summary: A Horn language with an object-expr core and bottom-up semantics, unifying Datalog power in a declarative frame. Adds sets, stratified negation, and base-rel updates; integrates meta, schema, and higher-order constructs in a unified Horn framework. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 6 of 6 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 669 | F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme | 1989 | SIGMOD | 0.00018413233 |
| 1,336 | Language Features for Interoperability of Databases with Schematic Discrepancies | 1991 | SIGMOD | 0.00012521979 |
| 1,420 | SchemaSQL - A Language for Interoperability in Relational Multi-database Systems | 1996 | VLDB | 0.00012068815 |
| 3,039 | C-Logic of Complex Objects | 1989 | PODS | 7.6684755e-05 |
| 4,308 | Towards a Unified Visual Database Access | 1993 | SIGMOD | 6.2824978e-05 |
| 12,797 | Is GUI Programming a Database Research Problem? | 1996 | SIGMOD | 4.1905499e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 8 of 8 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 | MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract) | 1986 | PODS | 0.00099936325 |
| 520 | LDL: A Logic-Based Data-Language | 1986 | VLDB | 0.00021145923 |
| 652 | Logic Programming With Sets | 1987 | PODS | 0.00018643929 |
| 722 | FAD, a Powerful and Simple Database Language | 1987 | VLDB | 0.00017505795 |
| 910 | Sets and Negation in a Logic Database Language (LDL1) | 1987 | PODS | 0.00015398775 |
| 3,012 | A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract) | 1988 | SIGMOD | 7.7129076e-05 |
| 4,986 | Rewriting of Rules Containing Set Terms in a Logic Data Language (LDL) | 1988 | PODS | 5.7789317e-05 |
| 6,934 | Database Updates in Logic Programming | 1988 | PODS | 4.8878659e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,548 | Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract) | 1994 | PODS | 5.0123519e-05 |
| 490 | Horn Clauses and the Fixpoint Query Hierarchy | 1982 | PODS | 0.00021979489 |
| 6,934 | Database Updates in Logic Programming | 1988 | PODS | 4.8878659e-05 |
| 637 | The Representation and Deductive Retrieval of Complex Objects | 1985 | VLDB | 0.00018812264 |
| 652 | Logic Programming With Sets | 1987 | PODS | 0.00018643929 |
| 12,887 | A Domain-theoretic Approach to Integrating Functional and Logic Database Languages | 1993 | VLDB | 4.1905499e-05 |
| 7,363 | IDLOG: Extending the Expressive Power of Deductive Database Languages | 1990 | SIGMOD | 4.7461604e-05 |
| 4,986 | Rewriting of Rules Containing Set Terms in a Logic Data Language (LDL) | 1988 | PODS | 5.7789317e-05 |
| 5,102 | On the Expressive Power of Logic Programming Languages with Sets | 1988 | PODS | 5.6936517e-05 |
| 4,335 | LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance | 1991 | SIGMOD | 6.2729533e-05 |