Database Theory - ICDT '95

5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings

AvGeorg Gottlob,Moshe Y. Vardi

Häftad, Engelska, 1995

Del i serien Lecture Notes in Computer Science

573 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This volume presents the proceedings of the 1995 International Conference on Database Theory, ICDT '95, held in Prague in January 1995.Besides two full invited papers and the abstracts of two tutorials, the book includes the revised full versions of 29 technical contributions selected from a total of 116 submissions. The papers address all current aspects of database theory; they are organized in sections on optimization, nonmonotonic semantics, query languages, concurrency control, advanced models, probabilistic methods, constraints and dependencies, and Datalog analysis.

Produktinformation

Utgivningsdatum:1995-01-03
Mått:155 x 233 x 26 mm
Vikt:709 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:460
Upplaga:1995
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540589075

Utforska kategorier

Databaser inom Data och IT

Innehållsförteckning

Data on air — What's in it for the database theorist.- Spatial databases, The final frontier.- Tutorial on parallel database systems.- Languages for polynomial-time queries — An ongoing quest.- Distributed query optimization in loosely coupled multidatabase systems.- On the complexity of generating optimal left-deep processing trees with cross products.- Querying disjunctive databases through nonmonotonic logics.- DATALOG queries with stratified negation and choice: from P to D P.- On the Kolmogorov expressive power of boolean query languages.- On two forms of structural recursion.- ?-Languages for sets and sub-PTIME graph transformers.- Partial strictness in two-phase locking.- Unified transaction model for semantically rich operations.- The Dynamic Two Phase Commitment (D2PC) protocol.- Domain-independent queries on databases with external functions.- An algebra for pomsets.- On the power of stratified logic programs with value invention for expressing database transformations.- A stable model semantics for behavioral inheritance in deductive object oriented languages.- A rewriting technique for the analysis and the optimization of active databases.- Sorted HiLog: Sorts in higher-order logic data languages.- The average length of keys and functional dependencies in (random) databases.- Uniformly-distributed random generation of join orders.- A probabilistic view of Datalog parallelization.- A first step towards implementing dynamic algebraic dependencies.- Constraint-generating dependencies.- Optimization using tuple subsumption.- Dterministic and non-deterministic stable model semantics for unbound DATALOG queries.- Revision programming, database updates and integrity constraints.- Some positive results for boundedness of multiple recursive rules.- Incrementboundedness and nonrecursive incremental evaluation of datalog queries.- Approximation in databases.- Datalog queries of set constraint databases.- Space usage in functional query languages.

Du kanske också är intresserad av

Formal Techniques for Networked and Distributed Systems - FORTE 2002

Moshe Y. Vardi, Doron A. Peled

E-bok

2003

739 kr

Wolfwalker

Tara K. Harper

Häftad, 1995

298 kr

Gesunde Ernährung von Kindern und Jugendlichen

H.-J. Holtmeier

Häftad, 1995

854 kr

Why a Soldier?

David Fitz-Enz

Häftad, 1995

235 kr

Behind Fascist Lines: A Firsthand Account of Guerrilla Warfare During the Spanish Revolution

Anna Starinov

Häftad, 1995

275 kr

Born to Heal: The Amazing True Story of Mr. A and The Astounding Art of Healing with Life Energies

Ruth Montgomery

Häftad, 1995

250 kr

Wittgenstein

Norman Malcolm, Peter Winch

Häftad, 1995

654 kr

Del 1

Primary Justice

William Bernhardt

Häftad, 1995

212 kr

Breastfeeding

Patricia Stuart-Macadam

Inbunden, 1995

1 069 kr

Malicious Intent

Sean Mactire

Häftad, 1995

277 kr

Database Theory - ICDT '95

5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings

AvGeorg Gottlob,Moshe Y. Vardi

Häftad, Engelska, 1995

Del i serien Lecture Notes in Computer Science

573 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Produktinformation

Utgivningsdatum:1995-01-03
Mått:155 x 233 x 26 mm
Vikt:709 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:460
Upplaga:1995
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540589075

Utforska kategorier

Databaser inom Data och IT

Innehållsförteckning

Data on air — What's in it for the database theorist.- Spatial databases, The final frontier.- Tutorial on parallel database systems.- Languages for polynomial-time queries — An ongoing quest.- Distributed query optimization in loosely coupled multidatabase systems.- On the complexity of generating optimal left-deep processing trees with cross products.- Querying disjunctive databases through nonmonotonic logics.- DATALOG queries with stratified negation and choice: from P to D P.- On the Kolmogorov expressive power of boolean query languages.- On two forms of structural recursion.- ?-Languages for sets and sub-PTIME graph transformers.- Partial strictness in two-phase locking.- Unified transaction model for semantically rich operations.- The Dynamic Two Phase Commitment (D2PC) protocol.- Domain-independent queries on databases with external functions.- An algebra for pomsets.- On the power of stratified logic programs with value invention for expressing database transformations.- A stable model semantics for behavioral inheritance in deductive object oriented languages.- A rewriting technique for the analysis and the optimization of active databases.- Sorted HiLog: Sorts in higher-order logic data languages.- The average length of keys and functional dependencies in (random) databases.- Uniformly-distributed random generation of join orders.- A probabilistic view of Datalog parallelization.- A first step towards implementing dynamic algebraic dependencies.- Constraint-generating dependencies.- Optimization using tuple subsumption.- Dterministic and non-deterministic stable model semantics for unbound DATALOG queries.- Revision programming, database updates and integrity constraints.- Some positive results for boundedness of multiple recursive rules.- Incrementboundedness and nonrecursive incremental evaluation of datalog queries.- Approximation in databases.- Datalog queries of set constraint databases.- Space usage in functional query languages.