Abstract is missing.
- The Expressiveness of Logic-based Database Query LanguagesNaphtali Rishe.
- Safety of Recursive Horn Clauses With Function SymbolsRaghu Ramakrishnan, François Bancilhon, Abraham Silberschatz. [doi]
- Non-First-Normal-Form Relations Theory and ApplicationsHenry F. Korth. [doi]
- Why Object-Oriented Databases Can Succeed Where Others Have FailedDavid Maier. [doi]
- Notions of Dependency Preservation for Nested RelationsZ. Meral Özsoyoglu, Li-Yan Yuan. [doi]
- Title, Foreword, Program [doi]
- A Logic for Negation in Database SystemsShamim A. Naqvi.
- Development of an Object-Oriented DBMSDavid Maier, Jacob Stein, Allen Otis, Alan Purdy. [doi]
- Safety and Optimization of Horn Clause QueriesRavi Krishnamurthy, Carlo Zaniolo. [doi]
- High Level Data Manipulation Languages for Unnormalized Relational Database ModelsDirk Van Gucht, Patrick C. Fischer. [doi]
- Schema Evolution in Object-Oriented Persistent DatabasesJay Banerjee, Hyoung-Joo Kim, Won Kim, Henry F. Korth. [doi]
- Cohesion of Object HistoriesSeymour Ginsburg, Chang-jie Tang.
- Do We Really Know What Knowledge Is?Van Nguyen, Kenneth J. Perry.
- Reducing Linear Recursive Relations to Transitive ClosureLinda A. Ness.
- Can We Implement Logic as a Database System?Michael Kifer, Eliezer L. Lozinskii. [doi]
- Optimizing Datalog ProgramsYehoshua Sagiv.
- Localizable Constraints for Object HistoriesGuozhu Dong, Seymour Ginsburg. [doi]
- Decidability and Expressiveness Aspects of Logic QueriesOded Shmueli. [doi]
- One-Sided RecursionsJeffrey F. Naughton. [doi]
- A Survey of Theoretical Research on Typed Complex Database ObjectsRichard Hull. [doi]
- Logic Programming with SetsGabriel M. Kuper. [doi]
- Pushing Selections into Logic ProgramsFrançois Bancilhon, Catriel Beeri, Paris C. Kanellakis, Raghu Ramakrishnan. [doi]
- Towards Controlling the Evolution of Large Software Systems or The DARWIN SystemNaftaly H. Minsky, David Rozenshtein. [doi]