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)

Paper ID: 8047
Venue: VLDB
Year: 1988
Pagerank: 6.9258731e-05
Overall Rank: 4,072 | 72.07%
DOI: -

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
877	F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme	1989	SIGMOD	0.00013464822
1,558	SchemaSQL - A Language for Interoperability in Relational Multi-database Systems	1996	VLDB	0.00010366362
1,672	Language Features for Interoperability of Databases with Schematic Discrepancies	1991	SIGMOD	0.0001004199
3,083	C-Logic of Complex Objects	1989	PODS	7.7717632e-05
6,239	Towards a Unified Visual Database Access	1993	SIGMOD	5.9425753e-05
12,982	Is GUI Programming a Database Research Problem?	1996	SIGMOD	5.093636e-05

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.00060089598
622	LDL: A Logic-Based Data-Language	1986	VLDB	0.00015686753
782	FAD, a Powerful and Simple Database Language	1987	VLDB	0.00014080876
799	Logic Programming With Sets	1987	PODS	0.00013911498
1,026	Sets and Negation in a Logic Database Language (LDL1)	1987	PODS	0.00012578477
3,355	A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract)	1988	SIGMOD	7.4912272e-05
5,161	Rewriting of Rules Containing Set Terms in a Logic Data Language (LDL)	1988	PODS	6.3398667e-05
7,536	Database Updates in Logic Programming	1988	PODS	5.6029996e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	6,563	Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract)	1994	PODS
2	888	Horn Clauses and the Fixpoint Query Hierarchy	1982	PODS
3	7,536	Database Updates in Logic Programming	1988	PODS
4	848	The Representation and Deductive Retrieval of Complex Objects	1985	VLDB
5	799	Logic Programming With Sets	1987	PODS
6	13,071	A Domain-theoretic Approach to Integrating Functional and Logic Database Languages	1993	VLDB
7	7,885	IDLOG: Extending the Expressive Power of Deductive Database Languages	1990	SIGMOD
8	5,161	Rewriting of Rules Containing Set Terms in a Logic Data Language (LDL)	1988	PODS
9	5,210	On the Expressive Power of Logic Programming Languages with Sets	1988	PODS
10	4,919	LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance	1991	SIGMOD