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 |
|---|---|---|---|---|
| 905 | F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme | 1989 | SIGMOD | 0.00013165264 |
| 1,578 | SchemaSQL - A Language for Interoperability in Relational Multi-database Systems | 1996 | VLDB | 0.00010182593 |
| 1,707 | Language Features for Interoperability of Databases with Schematic Discrepancies | 1991 | SIGMOD | 9.8252519e-05 |
| 3,143 | C-Logic of Complex Objects | 1989 | PODS | 7.5947835e-05 |
| 6,372 | Towards a Unified Visual Database Access | 1993 | SIGMOD | 5.8064898e-05 |
| 13,278 | Is GUI Programming a Database Research Problem? | 1996 | SIGMOD | 4.9769913e-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.00058997063 |
| 636 | LDL: A Logic-Based Data-Language | 1986 | VLDB | 0.00015361511 |
| 809 | FAD, a Powerful and Simple Database Language | 1987 | VLDB | 0.00013771533 |
| 828 | Logic Programming With Sets | 1987 | PODS | 0.00013608891 |
| 1,049 | Sets and Negation in a Logic Database Language (LDL1) | 1987 | PODS | 0.00012293092 |
| 3,415 | A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract) | 1988 | SIGMOD | 7.3201296e-05 |
| 5,287 | Rewriting of Rules Containing Set Terms in a Logic Data Language (LDL) | 1988 | PODS | 6.1950524e-05 |
| 7,688 | Database Updates in Logic Programming | 1988 | PODS | 5.4746904e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 6,693 | Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract) | 1994 | PODS |
| 2 | 914 | Horn Clauses and the Fixpoint Query Hierarchy | 1982 | PODS |
| 3 | 7,688 | Database Updates in Logic Programming | 1988 | PODS |
| 4 | 865 | The Representation and Deductive Retrieval of Complex Objects | 1985 | VLDB |
| 5 | 828 | Logic Programming With Sets | 1987 | PODS |
| 6 | 13,367 | A Domain-theoretic Approach to Integrating Functional and Logic Database Languages | 1993 | VLDB |
| 7 | 8,057 | IDLOG: Extending the Expressive Power of Deductive Database Languages | 1990 | SIGMOD |
| 8 | 5,287 | Rewriting of Rules Containing Set Terms in a Logic Data Language (LDL) | 1988 | PODS |
| 9 | 5,341 | On the Expressive Power of Logic Programming Languages with Sets | 1988 | PODS |
| 10 | 5,044 | LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance | 1991 | SIGMOD |