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)
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.00049302774 |
| 217 | Traversal Recursion: A Practical Approach to Supporting Recursive Applications | 1986 | SIGMOD | 0.00024458594 |
Previous
Page 1 / 1
Next
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 |
|---|---|---|---|---|
| 81 | Implementation of Integrity Constraints and Views by Query Modification | 1975 | SIGMOD | 0.00036443459 |
| 247 | Some High-level Language Constructs for Data of Type Relation | 1977 | SIGMOD | 0.00023302214 |
| 888 | Horn Clauses and the Fixpoint Query Hierarchy | 1982 | PODS | 0.00013402577 |
| 2,879 | Constraint Equations: Declarative Expression of Constraints With Automatic Enforcement | 1984 | VLDB | 8.0056121e-05 |
| 5,326 | Language Support for Office Modelling | 1984 | VLDB | 6.2639903e-05 |
| 5,352 | Range Nesting: A Fast Method To Evaluate Quantified Queries | 1983 | SIGMOD | 6.2528892e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 544 | A New Approach to Database Logic | 1984 | PODS |
| 2 | 6,752 | Modelling Non Deterministic Queries and Updates In Deductive Databases | 1988 | VLDB |
| 3 | 13,050 | Database Method Schemas and Object Creation | 1993 | PODS |
| 4 | 4,267 | Toward Logical Data Independence: A Relational Query Language without Relations | 1982 | SIGMOD |
| 5 | 13,099 | Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases | 1991 | PODS |
| 6 | 8,120 | Formal Semantics and Analysis of Object Queries | 2003 | SIGMOD |
| 7 | 13,097 | On the power of Rule-Based Languages with Sets | 1991 | PODS |
| 8 | 716 | Set-Oriented Production Rules in Relational Database Systems | 1990 | SIGMOD |
| 9 | 13,071 | A Domain-theoretic Approach to Integrating Functional and Logic Database Languages | 1993 | VLDB |
| 10 | 247 | Some High-level Language Constructs for Data of Type Relation | 1977 | SIGMOD |