Data Constructors: On the Integration of Rules and Relations

Summary: Introduces constructors: recursive, least-fixed-point definitions of relations integrating rule-based recursion with typed modular programming and relational calculus. Matches PROLOG’s declarative expressiveness while improving modularity, termination behavior, and set-oriented implementation efficiency. (summarized by gpt-5.6-luna on Jul 24 2026)

Paper ID: h56a58cd32999e2ff
Venue: VLDB
Year: 1985
Pagerank: 9.2091743e-05
Overall Rank: 2,001 | 86.55%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Matthias Jarke (Johann Wolfgang Goethe University; New York University)
2. Volker Linnemann (Johann Wolfgang Goethe University)
3. Joachim W. Schmidt (Johann Wolfgang Goethe University)

BibTeX Citation

@article{jarke_vldb85,
        title = {{Data Constructors: On the Integration of Rules and Relations}},
        author = {Jarke, Matthias and Linnemann, Volker and Schmidt, Joachim W.},
        journal = {PVLDB},
        series = {{VLDB} '85},
        pages = {227--238},
        year = {1985}
}

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
34	The Design Of Postgres	1986	SIGMOD	0.00049142315
225	Traversal Recursion: A Practical Approach to Supporting Recursive Applications	1986	SIGMOD	0.00023995155

Outgoing Citations (Sorted by Pagerank)

Showing 6 of 6 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
87	Implementation of Integrity Constraints and Views by Query Modification	1975	SIGMOD	0.00035719146
263	Some High-level Language Constructs for Data of Type Relation	1977	SIGMOD	0.00022811354
913	Horn Clauses and the Fixpoint Query Hierarchy	1982	PODS	0.00013115161
2,941	Constraint Equations: Declarative Expression of Constraints With Automatic Enforcement	1984	VLDB	7.8321091e-05
5,453	Language Support for Office Modelling	1984	VLDB	6.1242243e-05
5,479	Range Nesting: A Fast Method To Evaluate Quantified Queries	1983	SIGMOD	6.1132235e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	559	A New Approach to Database Logic	1984	PODS
2	13,340	Database Method Schemas and Object Creation	1993	PODS
3	6,892	Modelling Non Deterministic Queries and Updates In Deductive Databases	1988	VLDB
4	4,357	Toward Logical Data Independence: A Relational Query Language without Relations	1982	SIGMOD
5	13,389	Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases	1991	PODS
6	8,300	Formal Semantics and Analysis of Object Queries	2003	SIGMOD
7	13,387	On the power of Rule-Based Languages with Sets	1991	PODS
8	737	Set-Oriented Production Rules in Relational Database Systems	1990	SIGMOD
9	13,361	A Domain-theoretic Approach to Integrating Functional and Logic Database Languages	1993	VLDB
10	263	Some High-level Language Constructs for Data of Type Relation	1977	SIGMOD