SCDBR: An Automated Reasoner for Specifications of Database...

Journal of Intelligent Information Systems 1998 / 05 Vol. 10; Iss. 3

SCDBR: An Automated Reasoner for Specifications of Database Updates

Leopoldo Bertossi, Marcelo Arenas, Cristian Ferretti
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
10
Language:
english
Pages:
28
DOI:
10.1023/a:1013861118705
Date:
May, 1998
File:
PDF, 588 KB
english, 1998
Conversion to is in progress
Conversion to is failed