Title :
Prototyping database functions using type theory
Author :
Rajagopalan, P. ; Tsang, C.P.
Author_Institution :
Dept. of Comput. Sci., Curtin Univ. of Technol., Bentley, WA, Australia
Abstract :
Database researchers have viewed prototyping as an effective method of investigating new concepts and techniques. However most well known prototypes have been substantial software development projects that involve several man years of effort. We discuss a relatively inexpensive method of prototyping database structures and concepts using the sound formal system of constructive logic and type theory. The method is illustrated by first describing the database structure of a generic data model, and then defining one of the algebraic operators for it. Specific data models can be derived from this generic model as illustrated by the authors.<>
Keywords :
data structures; database management systems; formal logic; software prototyping; type theory; algebraic operators; constructive logic; database functions; database structures; generic data model; prototyping; sound formal system; type theory; Algebra; Australia; Data mining; Data models; Databases; Logic; Programming; Prototypes; Software prototyping; Specification languages;
Conference_Titel :
TENCON '93. Proceedings. Computer, Communication, Control and Power Engineering.1993 IEEE Region 10 Conference on
Conference_Location :
Beijing, China
Print_ISBN :
0-7803-1233-3
DOI :
10.1109/TENCON.1993.319994
