Towards a Real Horn Clause Language
Summary: Proposes a declarative Horn-clause language combining bottom-up semantics with Prolog-like expressiveness. It integrates sets, negation, updates, schema, meta, and higher-order predicates without separate mechanisms. (summarized by gpt-5.6-luna on Jul 24 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Ravi Krishnamurthy (Microelectronics And Technology Computer Corporation)
- 2. Shamim Naqvi (Microelectronics And Technology Computer Corporation)
BibTeX Citation
@article{krishnamurthy_vldb88,
title = {{Towards a Real Horn Clause Language}},
author = {Krishnamurthy, Ravi and Naqvi, Shamim},
journal = {PVLDB},
series = {{VLDB} '88},
pages = {252},
year = {1988}
}Incoming Citations (Sorted by Pagerank)
Showing 6 of 6 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 904 | F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme | 1989 | SIGMOD | 0.00013171457 |
| 1,578 | SchemaSQL - A Language for Interoperability in Relational Multi-database Systems | 1996 | VLDB | 0.00010187094 |
| 1,707 | Language Features for Interoperability of Databases with Schematic Discrepancies | 1991 | SIGMOD | 9.8298117e-05 |
| 3,142 | C-Logic of Complex Objects | 1989 | PODS | 7.5983724e-05 |
| 6,368 | Towards a Unified Visual Database Access | 1993 | SIGMOD | 5.8092399e-05 |
| 13,272 | Is GUI Programming a Database Research Problem? | 1996 | SIGMOD | 4.9793485e-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 |
|---|---|---|---|---|
| 18 | MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract) | 1986 | PODS | 0.00059023577 |
| 635 | LDL: A Logic-Based Data-Language | 1986 | VLDB | 0.00015368492 |
| 809 | FAD, a Powerful and Simple Database Language | 1987 | VLDB | 0.00013777631 |
| 828 | Logic Programming With Sets | 1987 | PODS | 0.00013614671 |
| 1,049 | Sets and Negation in a Logic Database Language (LDL1) | 1987 | PODS | 0.0001229888 |
| 3,415 | A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract) | 1988 | SIGMOD | 7.3235908e-05 |
| 5,283 | Rewriting of Rules Containing Set Terms in a Logic Data Language (LDL) | 1988 | PODS | 6.1979847e-05 |
| 7,682 | Database Updates in Logic Programming | 1988 | PODS | 5.4772833e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 6,689 | Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract) | 1994 | PODS |
| 2 | 913 | Horn Clauses and the Fixpoint Query Hierarchy | 1982 | PODS |
| 3 | 7,682 | Database Updates in Logic Programming | 1988 | PODS |
| 4 | 863 | The Representation and Deductive Retrieval of Complex Objects | 1985 | VLDB |
| 5 | 828 | Logic Programming With Sets | 1987 | PODS |
| 6 | 13,361 | A Domain-theoretic Approach to Integrating Functional and Logic Database Languages | 1993 | VLDB |
| 7 | 8,051 | IDLOG: Extending the Expressive Power of Deductive Database Languages | 1990 | SIGMOD |
| 8 | 5,283 | Rewriting of Rules Containing Set Terms in a Logic Data Language (LDL) | 1988 | PODS |
| 9 | 5,335 | On the Expressive Power of Logic Programming Languages with Sets | 1988 | PODS |
| 10 | 5,040 | LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance | 1991 | SIGMOD |