Advances in Databases and Information Systems

This book constitutes the refereed proceedings of the 8th East European Conference on Advances in Databases and Information Systems, ADBIS 2004, held in Budapest, Hungary, in September 2004.

The 27 revised full papers presented together with an invited paper were carefully reviewed and selected from 130 submissions. The papers are organized in topical sections on constraint databases, deductive databases, heterogenous and Web information systems, cross enterprise information systems, knowledge discovery, database modeling, XML and semistructured databases, physical database design and query evaluation, transaction management and workflow systems, query processing and data streams, spatial databases, and agents and mobile systems.

Inhalt

Constraint Databases.- Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints.- Deductive Databases.- Update Propagation in Deductive Databases Using Soft Stratification.- Heterogenous and Web Information Systems.- Query Rewriting Using Views in a Typed Mediator Environment.- Reasoning About Web Information Systems Using Story Algebras.- Cross Enterprise Information Systems.- Component Framework for Strategic Supply Network Development.- Knowledge Discovery.- An Abstract Algebra for Knowledge Discovery in Databases.- Database Modelling.- Beyond Databases: An Asset Language for Conceptual Content Management.- Component-Based Modeling of Huge Databases.- Cognitive Load Effects on End User Understanding of Conceptual Models: An Experimental Analysis.- Template Based, Designer Driven Design Pattern Instantiation Support.- XML and Semistructured Databases.- A High-Level Language for Specifying XML Data Transformations.- Implementing a Query Language for Context-Dependent Semistructured Data.- Static Analysis of Structural Recursion in Semistructured Databases and Its Consequences.- Physical Database Design and Query Evaluation.- Catalogues from a New Perspective: A Data Structure for Physical Organisation.- Database Caching - Towards a Cost Model for Populating Cache Groups.- Towards Quadtree-Based Moving Objects Databases.- A Content-Based Music Retrieval System Using Multidimensional Index of Time-Sequenced Representative Melodies from Music Database.- Solving Stochastic Optimization in Distributed Databases Using Genetic Algorithms.- Transaction Management and Workflow Systems.- ML-1-2PC: An Adaptive Multi-level Atomic Commit Protocol.- Making More Out of an Inconsistent Database.- Process Query Language: A Way to Make Workflow Processes More Flexible.- Triggering Replanning in an Integrated Workflow Planning and Enactment System.- Query Processing and Data Streams.- Grouped Processing of Relational Algebra Expressions over Data Streams.- Processing Sliding Window Join Aggregate in Continuous Queries over Data Streams.- Spatial Databases.- How to Integrate Heterogeneous Spatial Databases in a Consistent Way?.- Vague Spatial Data Types, Set Operations, and Predicates.- Agents and Mobile Systems.- Intelligent Multi-agent Based Database Hybrid Intrusion Prevention System.- Energy Efficient Transaction Processing in Mobile Broadcast Environments.