Recursive data models for non-conventional database applications

Link:
Autor/in:
Erscheinungsjahr:
2015
Medientyp:
Text
Schlagworte:
  • Formal methods
  • Specifications
  • Formal modelling
  • Verification
  • Model Checking
  • Semantics
  • Solid modeling
  • Computational modeling
  • Generators
  • Databases
  • Sections
  • Data models
  • Assembly
  • Formal methods
  • Specifications
  • Formal modelling
  • Verification
  • Model Checking
  • Semantics
Beschreibung:
  • Database models provide concepts and tools to establish data-based models of complex real-world applications. The currently prevalent set-oriented and record-based data models provide powerful and quite adequate structural tools for modelling formatted data objects in data intensive applications. Limitations of traditional database models become obvious, however, when modelling such advanced 'non-conventional' database applications as in CAD/CAM, computer graphics, or information retrieval which require management of large sets of variously structured data objects (e.g., part representations, drawings, or texts). For a more adequate representation of such 'complex' data objects, generalized 'RECURSIVE DATA MODELS' are proposed. They allow for the definition and manipulation of objects of not necessarily the same structure, but only a similar structuring concept. This work integrates experiences from the areas of programming languages and classical data(base) models.
Lizenz:
  • info:eu-repo/semantics/restrictedAccess
Quellsystem:
Forschungsinformationssystem der UHH

Interne Metadaten
Quelldatensatz
oai:www.edit.fis.uni-hamburg.de:publications/8f8362d8-274f-46c7-9c46-d070b98ccc65