Applying restriction constraints to deductive databases

Annals of Mathematics and Artificial Intelligence

Volumn 19, Issue 1-2, 1997, Pages 3-25

  Aquilino, D ^a   Asirelli, P ^b   Renso, C ^c   Turini, F ^c  

^a Intecs SpA   (Italy)

^b ISTI CNR   (Italy)

^c UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031522808     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018943319381     Document Type: Article

References (15)

1. S. Adali and V.S. Subrahmanian, Intelligent caching in hybrid knowledge bases, in: Proc. of the Second International Conference on Building and Sharing of Very Large-Scale Knowledge Bases, ed. N. Mars (IOS Press, May 1995) pp. 247-256.
2. V. Ambriola and C. Montangero, Oikos: Constructing process-centered SDEs, Software Process Modelling and Technology, in: Research Study Press, eds. A. Finkelstein, J. Kramer and B. Nuseibeh (J. Wiley and Sons, 1994).
3. K. Apt and Bol, Logic programming and negation: A survey, Journal of Logic Programming (1994).
4. D. Apuzzo, D. Aquilino and P. Asirelli, A declarative approach to the design and realization of graphic interfaces, Technical Report B4-39, October 1994, IEI-CNR Internal Report (1994) (submitted for publication).
5. P. Asirelli, D. Di Grande, P. Inverardi and F. Nicodemi, Graphics by a logic database management system, Journal of the Visual Languages and Computing 5 (1994) 365-388.
6. P. Asirelli, C. Renso and F. Turini, Language extensions for semantic integration of deductive databases, in: International Workshop on Logic in Databases, LNCS (Springer-Verlag, to appear).
7. P. Asirelli, M. De Santis and M. Martelli, Integrity constraints in logic databases, Journal of Logic Programming 3 (1985) 221, 232.
8. A. Brogi, Program construction in computational logic, Ph.D. Thesis, University of Pisa (March 1993).
9. A. Brogi, A. Chiarelli, V. Mazzotta, P. Mancarella, D. Pedreschi, C. Renso and F. Turini, Implementations of program composition operations, in: Proceeding of the Sixth Int'l Symp. on Programming Language Implementation and Logic Programming, eds. M. Hermenegildo and J. Penjam, LNCS 844 (Springer-Verlag, Berlin, 1994).
10. A. Brogi, S. Contiero and F. Turini, Metalogical operators on normal logic programs (in preparation).
11. A. Brogi, P. Mancarella, D. Pedreschi and F. Turini, Modular logic programming, ACM Transactions on Programming Languages and Systems 16(4) (1994) 1361-1398.
12. R.A. Kowalski and F. Sadri, Logic programs with exceptions, in: 7th International Conference on Logic Programming, Proceedings, eds. D.H.D. Warren and P. Szeredi (MIT Press, Cambridge, Mass., 1990) pp. 598-613.
13. J. Lloyd and Topor, Making Prolog more expressive, Journal of Logic Programming 1(3) (1984).
14. M.H. van Emden and R.A. Kowalski, The semantics of predicate logic as a programming language, Journal of the ACM 23(4) (1976) 733-742.
15. G. Wiederhold, Mediators in the architecture of future information systems, IEEE Computer 25 (March 1992) 38-49.