Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases |
| |
| Authors: | SPRUIT, PAUL WIERINGA, ROEL MEYER, JOHN-JULES |
| |
| Affiliation: | 1Vrije Universiteit, Faculteit Wiskunde en Informatica De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands E-mail: paspruiroelw{at}cs.vu.nl
2Rijksuniversiteit Utrecht, Vakgroep Informatica Postbus 80089, 3508 TB Utrecht, The Netherlands E-mail: jj{at}cs.ruu.nl |
| |
| Abstract: | |
| |
| Keywords: | Dynamic logic database updates active updates |
| 本文献已被 Oxford 等数据库收录！ |
|
