1 / 5

Modeling Theory

Modeling Theory. Objectives. Allow modeling to be done ontologically (high level of abstraction, real-world modeling, application specific) Then, systematically transform the application model into an efficient implementation.

ruth-york
Download Presentation

Modeling Theory

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Modeling Theory Objectives • Allow modeling to be done ontologically (high level of abstraction, real-world modeling, application specific) • Then, systematically transform the application model into an efficient implementation. • Automatically transform the application model into a model-theoretic view of a database • Apply efficiency transformations (automatically, if possibly, and synergistically, when full automation is not possible) • Automatically generate a database scheme

  2. Modeling TheoryAssumptions & Example • Assumptions • no recursive relationships (add roles to remove, if necessary) • relationship-set names include associated object-set names • no templates (transform shorthand into underlying constructs) • Example

  3. Generated Predicates Object Sets Room(x), Room Nr(x), Cost(x), Date(x), Guest(x), Guest Nr(x), Current Guest(x), Future Guest(x), Guarantee Nr(x) Relationship Sets Room(x) has Room Nr(y), Room(x) has Cost(y), Guest(x) has reservation for Room(y) on Date(z), Guest(x) has Guest Nr(y) Future Guest(x) has Guarantee Nr(y)

  4. Generated Rules Referential-Integrity Constraints xy(Room(x) has Room Nr(y)  Room(x)  Room Nr(y)) ... Generalization/Specialization Constraints x(Current Guest(x)  Future Guest(x)  Guest(x)) x(Guest(x)  Current Guest(x)  Future Guest(x)) Participation Constraints x(Room(x)  1y(Room(x) has Cost(y)) x(Cost(x)  1y(Room(y) has Cost(x)) ... Co-occurrence Constraints <x, y>(z(Guest(z) has reservation for Room(x) on Date(y))  1w(Guest(w) has reservation for Room(x) on Date(y)))

  5. A Valid Interpretation Object-Set Relations Room R1 R2 Room Nr 1 2 Cost 90 80 ... Relationship-Set Relations Room has Room Nr R1 1 R2 2 ... Constraints x(Room(x)  1y(Room(x) has Room Nr(y)) ...

More Related