Del i serien Lecture Notes in Computer Science

Database Theory - ICDT '95

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

Häftad, Engelska, 1995

739 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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

Utgivningsdatum1995-01-03
Mått155 x 233 x 26 mm
Vikt709 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor460
Upplaga1995
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540589075

Tillhör följande kategorier

Databaser inom Data och it

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.

Mer från samma författare

Del 13416

Logic Programming and Nonmonotonic Reasoning

Georg Gottlob, Daniela Inclezan, Marco Maratea

Häftad, 2022

1 099 kr

Expertensysteme

Georg Gottlob, Thomas Frühwirth, Werner Horn

Häftad, 1990

739 kr

Del 9202

Rule Technologies: Foundations, Tools, and Applications

Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman

Häftad, 2015

739 kr

Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab - Reasoning Web. Semantic Interoperability on the Web, Häftad

Del 10370

Reasoning Web. Semantic Interoperability on the Web

Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab

Häftad, 2017

739 kr

Advances in Databases and Information Systems

Georg Gottlob, Andras Benczur, Janos Demetrovics

Häftad, 2004

739 kr

Expert Systems in Engineering: Principles and Applications

Georg Gottlob, Wolfgang Nejdl

Häftad, 1990

719 kr

Advances in Database Technology - EDBT '92

Alain Pirotte, Claude Delobel, Georg Gottlob

Häftad, 1992

1 479 kr

Computational Logic and Proof Theory

Georg Gottlob, Alexander Leitsch, Daniele Mundici

Häftad, 1993

719 kr

Computational Logic and Proof Theory

Georg Gottlob, Alexander Leitsch, Daniele Mundici

Häftad, 1997

719 kr

Computer Science Logic

Georg Gottlob, Etienne Grandjean, Katrin Seyr

Häftad, 1999

719 kr

Mer från samma serie

Del 16477

Passive and Active Measurement

Simone Ferlin-Reiter, Romain Fontugne, Johanna Ullrich

Häftad, 2026

1 409 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

739 kr

Del 15427

Internet of Things – ICIOT 2024

Shunli Zhang, Liang-Jie Zhang

Häftad, 2024

819 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

719 kr

Compiler Construction

Albert Cohen

Häftad, 2014

709 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

719 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

739 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

739 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

739 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 209 kr

Du kanske också är intresserad av

Gesunde Ernährung von Kindern und Jugendlichen

H.-J. Holtmeier

Häftad, 1995

1 109 kr

Reasoning Web. Semantic Technologies for Intelligent Data Access

Sebastian Rudolph, Georg Gottlob, Ian Horrocks, Frank van Harmelen

Häftad, 2013

689 kr

Wolfwalker

Tara K. Harper

Häftad, 1995

389 kr

Datalog Reloaded

Oege de Moor, Georg Gottlob, Tim Furche, Andrew Sellers

Häftad, 2011

739 kr

Why a Soldier?

David Fitz-Enz

Häftad, 1995

309 kr

Computer Aided Verification

Alan J. Hu, Moshe Y. Vardi

Häftad, 1998

1 479 kr

Formal Techniques for Networked and Distributed Systems - FORTE 2002

Doron A. Peled, Moshe Y. Vardi

Häftad, 2002

739 kr

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

Anna Starinov

Häftad, 1995

359 kr

Advances in Database Technology - EDBT '92

Alain Pirotte, Claude Delobel, Georg Gottlob

Häftad, 1992

1 479 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

339 kr

Del i serien Lecture Notes in Computer Science

Database Theory - ICDT '95

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

Häftad, Engelska, 1995

AvGeorg Gottlob,Moshe Y. Vardi

739 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1995-01-03
Mått155 x 233 x 26 mm
Vikt709 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor460
Upplaga1995
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540589075

Tillhör följande kategorier

Databaser inom Data och it

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.