Advances in Databases and Information Systems

Table of Contents

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