Titlebook: ICDT ‘88; 2nd International Co Marc Gyssens,Jan Paredaens,Dirk Gucht Conference proceedings 1988 Springer-Verlag Berlin Heidelberg 1988 alg

羊齿

疲劳

杠杆支点

https://doi.org/10.1007/3-540-50171-1algorithm; algorithms; complexity; concurrency; data model; data structure; database; deductive database; lo

密码

Updates, a new frontier,ed that well-accepted query properties like safety and determinism should not be strictly enforced in the context of updates. The issue of declarative versus procedural update languages is also addressed. Finally, update-based database specifications are considered and compared to more traditional approaches.

Nuance

A theory of atomic transactions,t of the correctness conditions to be satisfied by transaction-processing algorithms, as well as clear and concise description of such algorithms. It also serves as a framework for rigorous correctness proofs.

SLING

On the composition and decomposition of datalog program mappings,braic axiom system. Also considered are (i) the decomposability of a subclass of linear recursive programs into single-rule programs; (ii) the structure of the class of prime programs; and the factorizability of bounded recursive programs into single-rule primes.

nugatory

Irksome

978-3-540-50171-8Springer-Verlag Berlin Heidelberg 1988

Autobiography

ICDT ‘88978-3-540-45943-9Series ISSN 0302-9743 Series E-ISSN 1611-3349

鸽子