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.00018430212 |
| 1,332 | Language Features for Interoperability of Databases with Schematic Discrepancies | 1991 | SIGMOD | 0.00012531626 |
| 1,422 | SchemaSQL - A Language for Interoperability in Relational Multi-database Systems | 1996 | VLDB | 0.00012056887 |
| 3,033 | C-Logic of Complex Objects | 1989 | PODS | 7.6759237e-05 |
| 4,315 | Towards a Unified Visual Database Access | 1993 | SIGMOD | 6.2885419e-05 |
| 12,788 | Is GUI Programming a Database Research Problem? | 1996 | SIGMOD | 4.1945683e-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.0010066783 |
| 519 | LDL: A Logic-Based Data-Language | 1986 | VLDB | 0.00021154077 |
| 649 | Logic Programming With Sets | 1987 | PODS | 0.00018662857 |
| 724 | FAD, a Powerful and Simple Database Language | 1987 | VLDB | 0.00017536758 |
| 912 | Sets and Negation in a Logic Database Language (LDL1) | 1987 | PODS | 0.00015414126 |
| 3,010 | A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract) | 1988 | SIGMOD | 7.7205569e-05 |
| 4,987 | Rewriting of Rules Containing Set Terms in a Logic Data Language (LDL) | 1988 | PODS | 5.7844667e-05 |
| 6,932 | Database Updates in Logic Programming | 1988 | PODS | 4.8925595e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,551 | Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract) | 1994 | PODS | 5.0171671e-05 |
| 490 | Horn Clauses and the Fixpoint Query Hierarchy | 1982 | PODS | 0.00022016773 |
| 6,932 | Database Updates in Logic Programming | 1988 | PODS | 4.8925595e-05 |
| 632 | The Representation and Deductive Retrieval of Complex Objects | 1985 | VLDB | 0.00018923134 |
| 649 | Logic Programming With Sets | 1987 | PODS | 0.00018662857 |
| 12,877 | A Domain-theoretic Approach to Integrating Functional and Logic Database Languages | 1993 | VLDB | 4.1945683e-05 |
| 7,368 | IDLOG: Extending the Expressive Power of Deductive Database Languages | 1990 | SIGMOD | 4.7507411e-05 |
| 4,987 | Rewriting of Rules Containing Set Terms in a Logic Data Language (LDL) | 1988 | PODS | 5.7844667e-05 |
| 5,102 | On the Expressive Power of Logic Programming Languages with Sets | 1988 | PODS | 5.6992154e-05 |
| 4,337 | LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance | 1991 | SIGMOD | 6.2790019e-05 |