Proceedings of the Seventh Symposium on Principles of Database Systems
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Chris Edmondson-Yurkanan, Mihalis Yannakakis
Proceedings of the Seventh Symposium on Principles of Database Systems
PODS-1988, 1988.

DATA
DBLP
Scholar
Full names Links ISxN
@proceedings{PODS-1988,
	acmid         = "308386",
	address       = "Austin, Texas, USA",
	editor        = "Chris Edmondson-Yurkanan and Mihalis Yannakakis",
	isbn          = "0-89791-263-2",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Seventh Symposium on Principles of Database Systems}",
	year          = 1988,
}

Contents (36 items)

PODS-1988-Chandra #database #query
Theory of Database Queries (AKC), pp. 1–9.
PODS-1988-Kuper #logic programming #on the #power of #programming language #set
On the Expressive Power of Logic Programming Languages with Sets (GMK), pp. 10–14.
PODS-1988-ShmueliTZ #logic #set
Rewriting of Rules Containing Set Terms in a Logic Data Model (LDL) (OS, ST, CZ), pp. 15–28.
PODS-1988-ParedaensG #algebra #using
Possibilities and Limitations of Using Flat Operators in Nested Algebra Expressions (JP, DVG), pp. 29–38.
PODS-1988-HullS #database #on the #power of #query
On the Expressive Power of Database Queries with Intermediate Types (RH, JS), pp. 39–51.
PODS-1988-KiferRS #approach #axiom #database #deduction #query #safety
An Axiomatic Approach to Deciding Query Safety in Deductive Databases (MK, RR, AS), pp. 52–60.
PODS-1988-ChomickiI #database #deduction #infinity
Temporal Deductive Databases and Infinite Objects (JC, TI), pp. 61–73.
PODS-1988-UllmanV #complexity
The Complexity of Ordering Subgoals (JDU, MYV), pp. 74–81.
PODS-1988-Morris #algorithm #exclamation
An Algorithm for Ordering Subgoals in NAIL! (KAM), pp. 82–88.
PODS-1988-RamakrishnanBK #datalog #optimisation #query
Optimizing Existential Datalog Queries (RR, CB, RK), pp. 89–102.
PODS-1988-ImielinskiN #algebra #logic programming #source code
Explicit Control of Logic Programs Through Rule Algebra (TI, SAN), pp. 103–116.
PODS-1988-RamakrishnaM #analysis #bound
Analysis of Bounded Disorder File Organization (MVR, PM), pp. 117–125.
PODS-1988-SrivastavaR #maintenance #modelling
Analytical Modeling of Materialized View Maintenance (JS, DR), pp. 126–134.
PODS-1988-Hadzilacos #algorithm #concurrent #graph #multi
Serialization Graph Algorithms for Multiversion Concurrency Control (TH), pp. 135–141.
PODS-1988-Kelter #concurrent #protocol #queue
The Queue Protocol: A Deadlock-free Homogeneous Non-Two-Phase Locking Protocol (UK), pp. 142–151.
PODS-1988-Bancilhon #database #object-oriented
Object-Oriented Database Systems (FB), pp. 152–162.
PODS-1988-ChanH #database
Independence-reducible Database Schemes (EPFC, HJH), pp. 163–173.
PODS-1988-Hegner #component #composition #relational #strict
Decomposition of Relational Schemata into Components Defined by Both Projection and Restriction (SJH), pp. 174–183.
PODS-1988-Batory #compilation #concept #database
Concepts for a Database System Compiler (DSB), pp. 184–192.
PODS-1988-HadzilacosH #transaction
Transaction Synchronisation in Object Bases (TH, VH), pp. 193–200.
PODS-1988-HerlihyW #concurrent #data type #hybrid
Hybrid Concurrency Control for Abstract Data Types (MH, WEW), pp. 201–210.
PODS-1988-LaninS #concurrent #set
Concurrent Set Manipulation without Locking (VL, DS), pp. 211–220.
PODS-1988-GelderRS #logic programming #semantics #set #source code
Unfounded Sets and Well-Founded Semantics for General Logic Programs (AVG, KAR, JSS), pp. 221–230.
PODS-1988-KolaitisP #fixpoint #question #why
Why Not Negation by Fixpoint? (PGK, CHP), pp. 231–239.
PODS-1988-AbiteboulV #database #declarative
Procedural and Declarative Database Update Languages (SA, VV), pp. 240–250.
PODS-1988-NaqviK #database #logic programming
Database Updates in Logic Programming (SAN, RK), pp. 251–262.
PODS-1988-MuralikrishnaD #multi #optimisation #query
Optimization of Multiple-Relation Multiple-Disjunct Queries (MM, DJD), pp. 263–275.
PODS-1988-HouOT #algebra #relational #statistics
Statistical Estimators for Relational Algebra Expressions (WCH, , BKT), pp. 276–287.
PODS-1988-HuangL #multi #set
Stable Set and Multiset Operations in Optimal Time and Space (BCH, MAL), pp. 288–293.
PODS-1988-YuR #database #version control
Minimizing Time-Space Cost For Database Version Control (LY, DJR), pp. 294–301.
PODS-1988-Reiter #database #question #what
What Should A Database Know? (RR), pp. 302–304.
PODS-1988-BunemanDW #approximate #query #semantics
A Semantics for Complex Objects and Approximate Queries (PB, SBD, AW), pp. 305–314.
PODS-1988-Winslett #comparison #framework #semantics
A Framework for Comparison of Update Semantics (MW), pp. 315–324.
PODS-1988-SippuS #query #relational #transitive
A Generalized Transitive Closure for Relational Queries (SS, ESS), pp. 325–332.
PODS-1988-HaddadN
Counting Methods for Cyclic Relations (RWH, JFN), pp. 333–340.
PODS-1988-Vardi #bound #decidability #linear #query #recursion
Decidability and Undecidability Results for Boundedness of Linear Recursive Queries (MYV), pp. 341–351.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.