A study on relational databases through mathematical theories of relations and logic

Cardinal Scholar

Show simple item record

dc.contributor.advisor Underkoffler, Milton M. en_US
dc.contributor.author Yu, Chaoran en_US
dc.date.accessioned 2011-06-03T19:34:51Z
dc.date.available 2011-06-03T19:34:51Z
dc.date.created 1988 en_US
dc.date.issued 1988
dc.identifier LD2489.Z78 1988 .Y8 en_US
dc.identifier.uri http://cardinalscholar.bsu.edu/handle/handle/183656
dc.description.abstract 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.
dc.description.sponsorship Department of Computer Science
dc.format.extent vi, 95 leaves ; 28 cm. en_US
dc.source Virtual Press en_US
dc.subject.lcsh Database management. en_US
dc.subject.lcsh Relational databases. en_US
dc.subject.lcsh Logic, symbolic and mathematical. en_US
dc.subject.lcsh Prolog (Computer program language) en_US
dc.title A study on relational databases through mathematical theories of relations and logic en_US
dc.description.degree Thesis (M.S.)
dc.identifier.cardcat-url http://liblink.bsu.edu/catkey/539627 en_US


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

  • Master's Theses [5256]
    Master's theses submitted to the Graduate School by Ball State University master's degree candidates in partial fulfillment of degree requirements.

Show simple item record

Search Cardinal Scholar


Browse

My Account