Conceptual Modelling and Its Theoretical Foundations

1. Front Matter

   PDF

2. Dedication to a Theory of Modelling

   • Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe

   Pages 1-6

3. What about Constraints in RDF?

   • Jan Paredaens

   Pages 7-18

4. Some Remarks on Relational Database Schemes Having Few Minimal Keys

   • Joachim Biskup

   Pages 19-28

5. Random Databases with Correlated Data

   • Gyula O. H. Katona

   Pages 29-35

6. Statistical Inference for Rényi Entropy Functionals

   • David Källberg, Nikolaj Leonenko, Oleg Seleznjev

   Pages 36-51

7. The Subject-Oriented Approach to Software Design and the Abstract State Machines Method

   • Egon Börger

   Pages 52-72

8. BCNF via Attribute Splitting

   • Johann A. Makowsky, Elena V. Ravve

   Pages 73-84

9. Foundations for a Fourth Normal Form over SQL-Like Databases

   • Flavio Ferrarotti, Sven Hartmann, Henning Köhler, Sebastian Link, Millist W. Vincent

   Pages 85-100

10. Independent Update Reflections on Interdependent Database Views

    • Stephen J. Hegner

    Pages 101-115

11. SO^F: A Semantic Restriction over Second-Order Logic and Its Polynomial-Time Hierarchy

    • Alejandro L. Grosso, José M. Turull Torres

    Pages 116-135

12. Abstract State Machines for Data-Parallel Computing

    • Qing Wang

    Pages 136-150

13. OSM-Logic: A Fact-Oriented, Time-Dependent Formalization of Object-oriented Systems Modeling

    • Stephen W. Clyde, David W. Embley, Stephen W. Liddle, Scott N. Woodfield

    Pages 151-172

14. Cloaking Data to Ease View Creation, Query Expression, and Query Execution

    • Sudarshan Murthy, David Maier, Lois Delcambre

    Pages 173-189

15. On Models of Concepts and Data

    • Arne Sølvberg

    Pages 190-196

16. Model Transformation By-Example: A Survey of the First Wave

    • Gerti Kappel, Philip Langer, Werner Retschitzegger, Wieland Schwinger, Manuel Wimmer

    Pages 197-215

17. On Computing the Importance of Associations in Large Conceptual Schemas

    • Antonio Villegas, Antoni Olivé, Maria-Ribera Sancho

    Pages 216-230

18. Conceptual Modeling of Human Genome: Integration Challenges

    • Oscar Pastor, Juan Carlos Casamayor, Matilde Celma, Laura Mota, M. Ángeles Pastor, Ana M. Levin

    Pages 231-250

19. Transforming Geometrically Enhanced Conceptual Model Schemas to GML

    • Hui Ma

    Pages 251-267

20. Extensional Logic of Hyperintensions

    • Marie Duží

    Pages 268-290

This Festschrift, published in honor of Bernhard Thalheim on the occasion of his 60th birthday presents 20 articles by colleagues from all over the world with whom Bernhard Thalheim had cooperation in various respects; also included is a scientific biography contributed by the volume editors. The 20 contributions reflect the breadth and the depth of the work of Bernhard Thalheim in conceptual modeling and database theory during his scientific career spanning more than 35 years of active research. In particular, ten articles are focusing on topics like database dependency theory, object-oriented databases, triggers, abstract state machines, database and information systems design, web semantics, and business processes.

• business process design
• data semantics
• database theory
• logical inference
• systems modeling

Policies and ethics