Publications

You are here

1997
D. Aquilino, Asirelli, P., Renso, C., and Turini, F., Applying Restriction Constraints to Deductive Databases, Ann. Math. Artif. Intell., vol. 19, pp. 3-25, 1997.
F. Giannotti, Manco, G., Nanni, M., and Pedreschi, D., Datalog++: a Basis for Active Object.Oriented Databases, in SEBD, 1997, pp. 325-340.
F. Giannotti, Manco, G., Nanni, M., and Pedreschi, D., Datalog++: A Basis for Active Object-Oriented Databases, in DOOD, 1997, pp. 283-301.
F. Giannotti, Manco, G., and Pedreschi, D., A Deductive Data Model for Representing and Querying Semistructured Data, in APPIA-GULP-PRODE, 1997, pp. 129-140.
D. Pedreschi and Subrahmanian, V. S., Non-determinism in Deductive Databases - Preface, Ann. Math. Artif. Intell., vol. 19, pp. 1-2, 1997.
F. Giannotti, Greco, S., Saccà, D., and Zaniolo, C., Programming with Non-Determinism in Deductive Databases, Ann. Math. Artif. Intell., vol. 19, pp. 97-125, 1997.
G. Amato, Giannotti, F., and Mainetto, G., Static Analysis of Transactions for Conservative Multigranularity Locking, in DBPL, 1997, pp. 413-430.
D. Pedreschi and Ruggieri, S., Verification of Meta-Interpreters, J. Log. Comput., vol. 7, pp. 267-303, 1997.
1996
K. R. Apt, Gabbrielli, M., and Pedreschi, D., A Closer Look at Declarative Interpretations, J. Log. Program., vol. 28, pp. 147-180, 1996.
P. Asirelli, Renso, C., and Turini, F., Language Extensions for Semantic Integration of Deductive Databases, in Logic in Databases, 1996, pp. 415-434.
D. Pedreschi and Zaniolo, C., Logic in Databases, International Workshop LID'96, San Miniato, Italy, July 1-2, 1996, Proceedings, Lecture Notes in Computer Science, vol. 1154. Springer, 1996.
M. E. Carboni, Deo, A. D., Giannotti, F., and Masserotti, M. V., Ragionamento spazio-temporale con LDLT: primi esperimenti verso un sistema deduttivo per applicazioni geografiche, in SEBD, 1996, pp. 73-90.
M. E. Carboni, Deo, A. D., Giannotti, F., and Masserotti, M. V., Spatio-Temporal Reasoning with LDLT: First Steps Towards a Deductive System for Geographical Applications, in DDLP, 1996, pp. 135-151.
D. Aquilino, Renso, C., and Turini, F., Towards {D}eclarative {GIS} {A}nalysis, 1996, pp. 99–105.
D. Aquilino, Renso, C., and Turini, F., Towards Declarative GIS Analysis, in ACM-GIS, 1996, pp. 98-104.
D. Montesi, Renso, C., and Turini, F., Using Temporary Integrity Constraints to Optimize Databases, in FAPR, 1996, pp. 430-435.

Pages