Computer assisted database design : semantic checking of entity-relationship diagrams | |
| Author | Mercado, Danilo Jarumayan |
| Call Number | AIT Thesis no. CS-87-5 |
| Subject(s) | Input design, Computer Data base management |
| Note | A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science, School of Engineering and Technology |
| Publisher | Asian Institute of Technology |
| Abstract | An entity- relationship diagram convention is derived that includes composite and multivalued attributes , Keak entities, and Keak relationships such as EXIST, ID, ISA, UNION, INTERSECT and DECOMPOSE. A first order logic representation of the entity relationship diagram is established and maintained in a data dictionary. The validity of the Universal Relation Assumption is ensured by checking the semantics of attributes as they are added into the data dictionary. Integrity of the entity-relationship diagram is preserved during add and delete operations by observing preconditions and postconditions. A prototype that exhibits the above features is designed and implemented in Prolog. |
| Year | 1987 |
| Type | Thesis |
| School | School of Engineering and Technology (SET) |
| Department | Other Field of Studies (No Department) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Niem, Lechi |
| Examination Committee(s) | Khang, Bach Hung ;Bohez, Erik L.J. |
| Scholarship Donor(s) | The Royal Government of Thailand (King's) |
| Degree | Thesis (M.Sc.) - Asian Institute of Technology,1987 |