Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.
You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.
After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.
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.
Content Level »Research
Keywords »business process design - data semantics - database theory - logical inference - systems modeling
Dedication to a Theory of Modelling: Bernhard Thalheim’s Scientific Journey What about Constraints in RDF? Some Remarks on Relational Database Schemes Having Few Minimal Keys Random Databases with Correlated Data Statistical Inference for R´enyi Entropy Functionals The Subject-Oriented Approach to Software Design and the Abstract State Machines Methods BCNF via Attribute Splitting Foundations for a Fourth Normal Form over SQL-Like Database Independent Update Reflections on Interdependent Database Views SOF : A Semantic Restriction over Second-Order Logic and Its Polynomial-Time Hierarchy Abstract State Machines for Data-Parallel Computing OSM-Logic: A Fact-Oriented, Time Dependent Formalization of Object-oriented Systems Modeling Cloaking Data to Ease View Creation, Query Expression, and Query Execution On Models of Concepts and Data Model Transformation By-Example: A Survey of the First Wave On Computing the Importance of Associations in Large Conceptual Schemas Conceptual Modeling of Human Genome: Integration Challenges Transforming Geometrically Enhanced Conceptual Model Schemas to GML Extensional Logic of Hyperintensions Culture Sensitive Aspects in Software Engineering Cross-Cultural Multimedia Computing with Impression-Based Semantic Spaces