The purpose of this study is to explore that mathematics provides a convenient formalism for studying classical database management system problems. There are two main parts in this study, devoted respectively to using mathematical theory of relations and using logical theory to study database management systems. In the first part we focus on relational model and relational algebra. The second part deals with the application of mathematical logic to database management systems, where logic may be used both as a inference system and as a representation language. The features and logical mechanisms of Prolog programming language have been studied. A sample logical database model is developed and tested, using the logic programming language Prolog. / Department of Computer Science
| Identifer | oai:union.ndltd.org:BSU/oai:cardinalscholar.bsu.edu:handle/183656 |
| Date | January 1988 |
| Creators | Yu, Chaoran |
| Contributors | Ball State University. Dept. of Computer Science., Underkoffler, Milton M. |
| Source Sets | Ball State University |
| Detected Language | English |
| Format | vi, 95 leaves ; 28 cm. |
| Source | Virtual Press |
Page generated in 0.0015 seconds