Reflective programming in the relational algebra

Journal of Computer and System Sciences

Volumn 52, Issue 3, 1996, Pages 537-549

  Van Den Bussche, Jan ^a   Van Gucht, Dirk ^b   Vossen, Gottfried ^c  

^a UNIVERSITY OF ANTWERP   (Belgium)

^b INDIANA UNIVERSITY   (United States)

^c UNIVERSITY OF MÜNSTER   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; COMPUTER PROGRAMMING; LISP (PROGRAMMING LANGUAGE); QUERY LANGUAGES; RECURSIVE FUNCTIONS; TURING MACHINES;

DATA REPRESENTATION; PROCEDURAL DATA MANAGEMENT; REFLECTIVE PROGRAMMING; RELATIONAL ALGEBRA;

RELATIONAL DATABASE SYSTEMS;

EID: 0030165962     PISSN: 00220000     EISSN: None     Source Type: Journal    
DOI: 10.1006/jcss.1996.0040     Document Type: Article

References (34)

1. S. Abiteboul and P. Kanellakis, Object identity as a query language primitive, in [8, pp. 159-173].
2. S. Abiteboul and V. Vianu, Datalog extensions for database queries and updates, J. Comput. System Sci. 43, No. 1 (1991), 62-124.
3. H. Abramson and M. H. Rogers, (Eds.), "Meta-Programming in Logic Programming," MIT Press, Cambridge, 1989.
4. A. Basu and R. Ahad, Using a relational database to support explanation in a knowledge-based system, IEEE Trans. Knowledge Data Eng. 4, No. 3 (1992), 572-581.
5. A. Chandra, Programming primitives for database languages, in "Proceedings 8th ACM Symposium on Principles of Programming Languages, ACM Press, New York, 1981," pp. 50-62.
6. A. Chandra and D. Harel, Computable queries for relational database systems, J. Comput. System Sci. 21, No. 2 (1980), 115-178.
7. W. Chen, M. Kifer, and D. W. Warrens, HiLog: A foundation for higher-order logic programming, J. Logic Programming 15, No. 3 (1993), 187-230.
8. J. Clifford, B. Lindsay, and D. Maier, (Eds), "Proceedings of the 1989 ACM SIGMOD International Conference on the Management of Data," SIGMOD Record, Vol. 18:2, ACM Press, New York, 1989.
9. H. Garcia-Molina and H.V. Jagadish, (Eds), "Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data," SIGMOD Record, Vol. 19:2, ACM Press, New York, 1990.
10. R. Hull and J. Su, On accessing object-oriented databases: Expressive power, complexity, and restrictions, in [8, pp. 147-158].
11. R. Hull and M. Yoshikawa, ILOG: Declarative creation and manipulation of object identifiers, in "Proceedings of the 16th International Conference on Very Large Data Bases" (D. McLeod, R. Sacks-Davis, and H. Schek, Eds.), Morgan Kaufmann, Los Altos, CA, 1990.
12. N. Immerman, Relational queries computable in polynomial time, Inform. and Control 68 (1986), 86-104.
13. G. Kiczales, J. des Rivières, and D. Bobrow, "The Art of the Metaobject Protocol," MIT Press, Cambridge, MA, 1991.
14. M. Kifer, G. Lausen, and J. Wu, Logical foundations of object-oriented and frame-based languages, J. Assoc. Comput. Machin. 42, No. 4 (1995), 741-843.
15. P. Maes and D. Nardi, (Eds.), "Meta-Level Architectures and Reflections," North-Holland, Amsterdam, 1988.
16. R. Muller, M-LISP: A representation-independent dialect of LISP with reduction semantics, ACM Trans. Programming Languages and System 14, No. 4 (1992), 589-616.
17. J. Paredaens, P. De Bra, M. Gyssens, and D. Van Gucht, The Structure of the relational database Model, in "EATCS Monographs on Theoretical Computer Science," Vol. 17, Springer-Verlag, New York/ Berlin, 1989.
18. F. Pfenning and P. Lee, Metacircularity in the polymorphic λ-calculus, Theoret. Computer Sci. 89, No. 1 (1991), 137-159.
19. K. Ross, Relations with relation names as arguments: Algebra and calculus, in "Proceedings 11th ACM Symposium on Principles of Database Systems, 1992," pp. 346-353.
20. L. V. Saxton, D. Van Gucht, and M. Gandhi, Universal queries for relational query languages, unpublished results.
21. SIGMOD, Session on triggers and derived data, in [8].
22. SIGMOD, Session on rule processing systems, in [9].
23. B. C. Smith, "Reflection and Semantics in a Procedural Language," Tech. Rep. 272, MIT LCS, 1982.
24. B. C. Smith, Reflection and semantics in LISP, in "Proceedings 11th ACM Symposium on Principles of Programming Languages, 1984," pp. 23-35.
25. D. Stemple et al., Exceeding the limits of polymorphism in database programming languages, in "Advances in Database Technology -EDBT'90" (F. Bancilhon, C. Thanos, and D. Tsichritzis, Eds), Lecture Notes in Computer Science, Vol. 416, pp. 269-285, Springer-Verlag, New York/Berlin, 1990.
26. D. Stemple et al., "Type-Safe Linguistic Reflection: A generator technology," Res. Rep. CS/92/6, Univ. of St. Andrews, 1992.
27. M. Stonebraker et al., QUEL as a data type, in "Proceedings of SIGMOD 84 Annual Meeting" (B. Yormark, Ed.), SIGMOD Record Vol. 14:2, pp. 208-214, ACM Press, New York, 1984.
28. M. Stonebraker et al., Extending a database system with procedures ACM Trans. Database Systems 12, No. 3 (1987), 350-376.
29. M. Stonebraker et al., On rules, procedures, caching and views in data base systems, in [9, pp. 281-290].
30. J. Ullman, "Principles of Database and Knowledge-Base Systems," Vol. I, Computer Science Press, 1988.
31. K. Vadaparty, On the power of rule-based languages with sets, in "Proceedings 10th ACM Symposium on Principles of Database Systems, 1991," pp. 26-35.
32. M. Vardi, The complexity of relational query languages, in "14th ACM Symposium on Theory of Computing, 1982," pp. 137-146.
33. M. Wand and D. Friedman, The mystery of the tower revealed: A non-recursive description of the reflective tower, LISP Symbolic Comput. 1 (1988), 12-38.
34. S. B. Zdonik and D. Maier, (Eds), "Readings in Object-Oriented Database Systems," Morgan Kaufmann, Los Altos, CA, 1989.