A front-end to deductive database systems for multiparadigm programming
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.
References
[1]
C. Beeri, S. Naqvi, R. Ramakrishnan, O, Shmueli, and S. Tsur. Sets and negation in a logic database language (LDL1). PODS'87, pages 21-37, 1987.
[2]
C. Beeri, S. Naqvi, O. Shmueli, and S. Tsur. Sets constructors in a logic database language. J. Logic Programming, 10:181-232, 1991.
[3]
F. Bancilhon, D. Maier, Y. Sagiv, and J. D. Ullman. Magic sets and other strange ways to implement logic programs. PODS'86, pages 1-15, 1986.
[4]
C. Beeri and R. Ramakrishnan. On the power of magic. J. Logic Programming, 10:255-300, 1991.
[5]
J. D. Ullman. Principles of Database and Knowledge-Base Systems, Vol. 1 & 2. Computer Science Press, 1989.
[6]
L. Vieille. Recursive query processing. Theoretical Computer Science, 69:1-53, 1989.
[7]
D.S. Warren. Memoing for logic programs. Communications of the ACM, 35:93-111, 1992.
[8]
L. J. Henschen and S. Naqvi. On Compiling queries in recursive first-order databases. J. ACM, 31:47-85, 1984.
[9]
J. F. Naughton, R. Ramakrishnan, Y. Sagiv, and J. D. Ullman. Efficient evaluation of right-, left-, and multi-linear rules. In Proc. 1989 SIGMOD, pages 235-242, 1989.
[10]
S. Naqvi and S. Tsur. A Logical Data Language for Data and Knowledge Bases. Computer Science Press, 1989.
[11]
R. Ramakrishnan, D. Srivastava, S. Sudarshan, and P. Seshadri. The coral deductive system. VLDB Journal, 3:161-2lO, 1994.
[12]
J. Vaghani, K. Ramamohanarao, D.B. Kemp, P.J. Stuckey Z. Somogyi, T.S. Leask, and J. Harland. The aditi deductive database system. VLDB Journal, 3:245-288, 1994.
[13]
M.A. Derr, S. Morishita, and G. Phipps. The glue-nail deductive database system: Design, implementation, and evaluation. VLDB Journal, 3: 123-160, 1994.
[14]
A special issue on prototypes of deductive database systems. VLDB Journal, 3, 1994.
[15]
G.M. Kuper. Logic programming with sets. In PODS'87, pages 11-20, 1987.
[16]
G.M. Kuper. On the expressive power of logic programming language with sets. In PODS'88, pages 10-14, 1988.
[17]
A. Aho, J. Hopcroft, and J. D. Ullman. Data Structures and Algorithms. Addison-Wesley, 1983.
[18]
D.H.D. Warren. An abstract prolog instruction set. Technical Report 309, SRI International, Menlo Park, 1983.
[19]
H. Aït-Kaci. Warren's Abstract Machine: A Tutorial Reconstruction. MIT Press, 1991.
[20]
A.V. Aho, R. Sethi, and J.D. Ullman. Compilers: Principles, Techniques, and Tools,. Addison-Weslay, 1986.
[21]
M.M. Astrahan, et al. System R.: Relational approach to database management. ACM Trans. Database Syst., 1:97-137, 1976.
[22]
M. Stonebraker, E. Wong, P. Kreps, and G. Held. The design and implementation of INGRES. ACM Trans. Database Syst., 1:189-222, 1976.
[23]
P. Selinger, D. Astrahan, D. Chamberlin, R. Lorie, and T. Price. Access path selection in a relational database management system. In Proc. 1979 SIGMOD, pages 23-34, 1979.
[24]
M. Jarke and J. Koch. Query optimization in database systems. ACM Comput. Surv., 16:111- 152, 1984.
[25]
G. Graefe. Query evaluation techniques for large databases. ACM Comput. Surv., 25:73-170, 1993.
[26]
K.R. Apt, H.A. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89-148. Morgan Kaufmann, 1988.
[27]
J.L. Han. Program partition and logic program analysis. IEEE Trans. on Software Engineering, 21:959-968, Dec. 1995.
[28]
J.L. Han. Well Founded Modular Semantics for Normal Logic Programs and Stratified LDL Programs, working paper series, sc-mc-9517, 1995.
[29]
J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 2nd edition, 1987.
[30]
T. Przymusinski. On the declarative semantics of stratified deductive databases and logic programming. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 193-216. Morgan Kaufman, 1988.
[31]
T. Przymusinski. On the declarative and procedural semantics of logic programs. J. of Automated Reasoning, 5:167-205, 1989.
[32]
M.H. van Emden and R.A. Kowalski. The semantics of predicate logic as a programming language. J. ACM, 23:733-742, 1976.
[33]
A.V. Aho, M.R. Garey, and J.D. Ullman. The transitive reduction of a directed graph. SIAM J. Comput., 1:131-137, 1972.
[34]
W. Chen, M. Kifer, and D.S. Warren. Hilog: A first order semantics of higher-order logic programming constructs. In Proc. N. American Logic Programming Conference, pages 1091- 1114, 1989.
[35]
A. Van Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. J. ACM, 38:620-650, 1991.
[36]
T. Przymusinski. Every logic program has a natural stratification and an iterated least fixed point model. In PODS'89, pages 11-21, 1989.
Recommendations
An approach to multiparadigm programming database systems
DEXA '96: Proceedings of the 7th International Workshop on Database and Expert Systems ApplicationsOne way to tackle the impedance mismatch problem is to build multiparadigm programming database systems. The author analyzes a stratified LDL program by partitioning it into modules. It is shown by example that many embedded SQL programs may be ...
Multiparadigm design of a simple relational database
Multiparadigm programming languages (such as Leda) seek to merge elements of several programming paradigms into a single cohesive language that utilizes programming and conceptual aspects from various paradigms (including imperative, object-oriented, ...
General-purpose multiparadigm programming languages: an enabling technology for constructing complex systems
ICECCS '95: Proceedings of the 1st International Conference on Engineering of Complex Computer SystemsMultiparadigm programming languages have been envisioned as a vehicle for constructing large and complex heterogeneous systems, such as a stock market exchange or a telecommunications network. General-purpose multiparadigm languages, as opposed to ...
Comments
Information & Contributors
Information
Published In
January 1996
ISBN:0818673796
Copyright © Copyright (c) 1996 Institute of Electrical and Electronics Engineers, Inc. All rights reserved.
Publisher
IEEE Computer Society
United States
Publication History
Published: 24 January 1996
Author Tags
- LDL
- SQL
- data intensive software development
- deductive database systems
- deductive databases
- encapsulation
- front end addition
- input/output
- modular models
- modular semantics
- module reuse
- multiparadigm programming
- multiprogramming
- multiprogramming environment
- online front-ends
- procedural languages
- productivity
- set operations
- software engineer
- specification language
- specification languages
- stratified LDL program
- user interfaces
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 03 Oct 2024