Proceedings of the Ninth 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

Daniel J. Rosenkrantz, Yehoshua Sagiv
Proceedings of the Ninth Symposium on Principles of Database Systems
PODS-1990, 1990.

DATA
DBLP
Scholar
Full names Links ISxN
@proceedings{PODS-1990,
	acmid         = "298514",
	address       = "Nashville, Tennessee, USA",
	editor        = "Daniel J. Rosenkrantz and Yehoshua Sagiv",
	isbn          = "0-89791-352-3",
	publisher     = "{ACM Press}",
	title         = "{Proceedings of the Ninth Symposium on Principles of Database Systems}",
	year          = 1990,
}

Contents (36 items)

PODS-1990-Kim #database #object-oriented #research
Research Directions in Object-Oriented Database Systems (WK), pp. 1–15.
PODS-1990-AbiteboulKW
Method Schemas (SA, PCK, EW), pp. 16–27.
PODS-1990-YuR #design #specification
Representability of Design Objects by Ancestor-Controlled Hierarchical Specifications (LY, DJR), pp. 28–39.
PODS-1990-LiptonN #adaptation #estimation #query
Query Size Estimation by Adaptive Sampling (RJL, JFN), pp. 40–46.
PODS-1990-Gelder #constraints #logic programming #source code
Deriving Constraints Among Argument Sizes in Logic Programs (AVG), pp. 47–60.
PODS-1990-KolaitisV #case study #datalog #on the #power of #tool support
On the Expressive Power of Datalog: Tools and a Case Study (PGK, MYV), pp. 61–71.
PODS-1990-CareyKL #approach
Load Control for Locking: The “Half-and-Half” Approach (MJC, SK, ML), pp. 72–84.
PODS-1990-AgrawalA
Locks with Constrained Sharing (DA, AEA), pp. 85–93.
PODS-1990-FeketeLW #graph #transaction
A Serialization Graph Construction for Nested Transactions (AF, NAL, WEW), pp. 94–108.
PODS-1990-WeikumHBM #multi
Multi-Level Recovery (GW, CH, PB, PM), pp. 109–123.
PODS-1990-Tay #multi #on the
On the Optimality of Strategies for Multiple Joins (YCT), pp. 124–131.
PODS-1990-Saraiya #database #deduction #polynomial #program transformation
Polynomial-Time Program Transformations in Deductive Databases (YPS), pp. 132–144.
PODS-1990-Plambeck #optimisation #query #recursion
Semigroup Techniques in Recursive Query Optimization (TEP), pp. 145–153.
PODS-1990-Elkan #database #independence #logic #query
Independence of Logic Database Queries and Updates (CE), pp. 154–160.
PODS-1990-Ross #composition #datalog #set #source code
Modular Stratification and Magic Sets for DATALOG Programs with Negation (KAR), pp. 161–171.
PODS-1990-YouY #formal method #logic programming #question
Three-Valued Formalization of Logic Programming: Is It Needed? (JHY, LYY), pp. 172–182.
PODS-1990-Royer #evaluation
Backward Chaining Evaluation in Stratified Disjunctive Theories (VR), pp. 183–195.
PODS-1990-Schlipf #logic programming #semantics
The Expressive Powers of the Logic Programming Semantics (JSS), pp. 196–204.
PODS-1990-SaccaZ #logic programming #modelling #nondeterminism #source code
Stable Models and Non-Determinism in Logic Programs with Negation (DS, CZ), pp. 205–217.
PODS-1990-AbiteboulSV #nondeterminism
Non-Deterministic Languages to Express Deterministic Transformations (SA, ES, VV), pp. 218–229.
PODS-1990-Yannakakis #database #graph
Graph-Theoretic Methods in Database Theory (MY), pp. 230–242.
PODS-1990-Willard #algorithm #calculus #relational
Quasilinear Algorithms for Processing Relational Calculus Expressions (DEW), pp. 243–257.
PODS-1990-Abdel-GhaffarA #on the
On the Optimality of Disk Allocation for Cartesian Product Files (KASAG, AEA), pp. 258–264.
PODS-1990-ArefS #data type #performance #query
Efficient Processing of Window Queries in The Pyramid Data Structure (WGA, HS), pp. 265–272.
PODS-1990-JohnsonS #algorithm #analysis #concurrent #framework #performance
A Framework for the Performance Analysis of Concurrent B-tree Algorithms (TJ, DS), pp. 273–287.
PODS-1990-Lassez #constraints #query
Querying Constraints (JLL), pp. 288–298.
PODS-1990-KanellakisKR #constraints #query
Constraint Query Languages (PCK, GMK, PZR), pp. 299–313.
PODS-1990-MumickFPR
Magic Conditions (ISM, SJF, HP, RR), pp. 314–330.
PODS-1990-HaritsaCL #constraints #on the #realtime
On Being Optimistic about Real-Time Constraints (JRH, MJC, ML), pp. 331–343.
PODS-1990-TamH #fine-grained #migration #transaction
Token Transactions: Managing Fine-Grained Migration of Data (VOT, MH), pp. 344–356.
PODS-1990-SoparkarS #clustering
Data-value Partitioning and Virtual Messages (NS, AS), pp. 357–367.
PODS-1990-PilarskiK #database #distributed #novel
A Novel Checkpointing Scheme for Distributed Database Systems (SP, TK), pp. 368–378.
PODS-1990-Chomicki #database #deduction #polynomial #query
Polynomial Time Query Processing in Temporal Deductive Databases (JC), pp. 379–391.
PODS-1990-KabanzaSW #infinity
Handling Infinite Temporal Data (FK, JMS, PW), pp. 392–403.
PODS-1990-ConsensM #named #recursion #visual notation
GraphLog: a Visual Formalism for Real Life Recursion (MPC, AOM), pp. 404–416.
PODS-1990-GyssensPG #database
A Graph-Oriented Object Database Model (MG, JP, DVG), pp. 417–424.

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.