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

Volume

1

fYear

1993

fDate

19-21 Oct. 1993

Firstpage

327

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/TENCON.1993.319994

Filename

319994