Title :
A front-end to deductive database systems for multiparadigm programming
Author_Institution :
Dept. of Math. & Comput., Univ. of Southern Queensland, Toowoomba, Qld., Australia
Abstract :
A front end addition to deductive database systems is proposed to provide a multiparadigm programming environment for data intensive software development. The specification language for the whole system is chosen to be LDL or LPS. A stratified LDL program is partitioned into modules and the perfect modular models are introduced. The interface among modules is simple and clean. The modular semantics allow encapsulation and module reuse. Modules for set operations and for input/output may be implemented in procedural languages to improve performance or to utilize expertise of available programmers while modules for relations/deductions are programmed in SQL or LDL. The multiprogramming environment may increase the productivity of programmers, improve the quality and performance of software, and increase the available choices for the software engineer
Keywords :
deductive databases; multiprogramming; online front-ends; specification languages; user interfaces; LDL; SQL; data intensive software development; deductive database systems; encapsulation; front end addition; input/output; modular models; modular semantics; module reuse; multiparadigm programming; multiprogramming environment; procedural languages; productivity; set operations; software engineer; specification language; stratified LDL program; Database languages; Database systems; Deductive databases; Logic programming; Programming environments; Programming profession; Relational databases; Software performance; Software quality; Specification languages;
Conference_Titel :
Software Engineering: Education and Practice, 1996. Proceedings. International Conference
Conference_Location :
Dunedin
Print_ISBN :
0-8186-7379-6
DOI :
10.1109/SEEP.1996.533984
