Optimization Project home page.
Storage Company example
The Storage Company schema describes part of the organizational structure of a company:
Some Integrity Constraint Rules are added:
- class Manager describes the company head division
- class TManager rapresents the "Top Manager", which is a class Manager's specialization
- class Material describes the articles stocked by the company
- class SMaterial specializes the dangerous Material
- class Storage describes the company's warehouses
- class SStorage specializes the Storage
- rule1 (on class Manager) says that
all managers whose level is between 5 and 10 own a salary ranging from 40K $ to 60K $
- rule2 (on class Material) says that
all materials whose risk is greater than 10 are smaterials
- rule3 (on class Storage) says that
each storage whose category is "B4" is managed by a top manager (TManager)
- rule4 (on class Storage) says that
each storage stocking only special materials (SMaterial) is a special storage (SStorage)
- rule5 (on class Storage) says that
each storage stocking a quantity of materials between 10 and 50 is a category "A2" storage
You can see the ODL input schema.Execute the Semantic Optimization of some example queries related