Victor Vianu
Proceedings of the 13th Symposium on Principles of Database Systems
PODS-1994, 1994.

@proceedings{PODS-1994,
	acmid         = "182591",
	address       = "Minneapolis, Minnesota, USA",
	editor        = "Victor Vianu",
	isbn          = "0-89791-642-5",
	publisher     = "{ACM Press}",
	title         = "{Proceedings of the 13th Symposium on Principles of Database Systems}",
	year          = 1994,
}

Contents (32 items)

6 ×#database
6 ×#query
4 ×#constraints
4 ×#datalog
3 ×#named
3 ×#tutorial
2 ×#complexity
2 ×#on the
2 ×#set
2 ×#source code

PODS-1994-Harel

Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (DH), pp. 1–3.

PODS-1994-FaloutsosK #analysis #concept #independence #using

Beyond Uniformity and Independence: Analysis of R-trees Using the Concept of Fractal Dimension (CF, IK), pp. 4–13.

PODS-1994-HaasNS #estimation #on the

On the Relative Cost of Sampling for Join Selectivity Estimation (PJH, JFN, ANS), pp. 14–24.

PODS-1994-RamaswamyS

Path Caching: A Technique for Optimal External Searching (SR, SS), pp. 25–35.

PODS-1994-ChenR #retrieval

Optimal Response Time Retrieval of Replicated Data (LTC, DR), pp. 36–44.

PODS-1994-GuptaSUW #constraints

Constraint Checking with Partial Information (AG, YS, JDU, JW), pp. 45–55.

PODS-1994-StuckeyS #compilation #constraints #query

Compiling Query Constraints (PJS, SS), pp. 56–67.

PODS-1994-Sohn #constraints #logic programming #source code

Constraints among Argument Sizes in Logic Programs (KS), pp. 68–74.

PODS-1994-Agrawal #database #mining #tutorial

Tutorial Database Mining (RA), pp. 75–76.

PODS-1994-KivinenM #information management #power of

The Power of Sampling in Knowledge Discovery (JK, HM), pp. 77–85.

PODS-1994-ChaudhuriK #approximate #datalog #question

Can Datalog be Approximated? (SC, PGK), pp. 86–96.

PODS-1994-Afrati #bound #datalog #exclamation #graph #query

Bounded Arity Datalog (!=) Queries on Graphs (FNA), pp. 97–106.

PODS-1994-ChaudhuriV #complexity #datalog #equivalence #on the #recursion #source code

On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs (SC, MYV), pp. 107–116.

PODS-1994-HuaLL #clustering

A Decomposition-Based Simulated Annealing Technique for Data Clustering (KAH, SDL, WKL), pp. 117–128.

PODS-1994-AlonsoAA #constraints #protocol

Reducing Recovery Constraints on Locking based Protocols (GA, DA, AEA), pp. 129–138.

PODS-1994-AgrawalBAK #approach #transaction

Relative Serializbility: An Approach for Relaxing the Atomicity of Transactions (DA, JLB, AEA, VK), pp. 139–149.

PODS-1994-Tannen #named #tutorial

Tutorial: Languages for Collection Types (VT), pp. 150–154.

PODS-1994-LibkinW #set

New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions (LL, LW), pp. 155–166.

PODS-1994-SuciuT #query

A Query Language for NC (DS, VT), pp. 167–178.

PODS-1994-ColbyRSG #query

A Query Language for List-Based Complex Objects (LSC, ELR, LVS, DVG), pp. 179–189.

PODS-1994-MumickS #satisfiability

Universal Finiteness and Satisfiability (ISM, OS), pp. 190–200.

PODS-1994-SuciuP #algebra #algorithm #exponential #set #transitive

Any Algorithm in the Complex Object Algebra with Powerset Needs Exponential Space to Compute Transitive Closure (DS, JP), pp. 201–209.

PODS-1994-PatnaikI #complexity #named #parallel

Dyn-FO: A Parallel, Dynamic Complexity Class (SP, NI), pp. 210–221.

PODS-1994-HillebrandK #database #functional #order #query #λ-calculus

Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (GGH, PCK), pp. 222–231.

PODS-1994-MendelzonMW #migration

Object Migration (AOM, TM, EW), pp. 232–242.

PODS-1994-CalvaneseL #object-oriented

Making Object-Oriented Schemas More Expressive (DC, ML), pp. 243–254.

PODS-1994-OhoriT #calculus #polymorphism

A Polymorphic Calculus for Views and Object Sharing (AO, KT), pp. 255–266.

PODS-1994-EiterGM #datalog

Adding Disjunction to Datalog (TE, GG, HM), pp. 267–278.

PODS-1994-ParedaensBG #database #formal method #query #towards

Towards a Theory of Spatial Database Queries (JP, JVdB, DVG), pp. 279–288.

PODS-1994-GrumbachS #database

Finitely Representable Databases (SG, JS), pp. 289–300.

PODS-1994-Gonnet #database #experience #named #tutorial

Tutorial: Text Dominated Databases, Theory Practice and Experience (GHG), pp. 301–302.

PODS-1994-GrahneNU #database #reasoning #string

Reasoning about Strings in Databases (GG, MN, EU), pp. 303–312.