• DocumentCode
    2490270
  • Title

    A front-end to deductive database systems for multiparadigm programming

  • Author

    Han, Jia Liang

  • Author_Institution
    Dept. of Math. & Comput., Univ. of Southern Queensland, Toowoomba, Qld., Australia
  • fYear
    1996
  • fDate
    24-27 Jan 1996
  • Firstpage
    78
  • Lastpage
    85
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering: Education and Practice, 1996. Proceedings. International Conference
  • Conference_Location
    Dunedin
  • Print_ISBN
    0-8186-7379-6
  • Type

    conf

  • DOI
    10.1109/SEEP.1996.533984
  • Filename
    533984