Data/hora: 06/06/2024 06:21:02

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 22/07/1996
Data da última atualização: | 19/12/2007
Autoria: | ALVES, M. H. F.; LAURENT, D.; SPYRATOS, N.
Título: | Update transactions for deductive databases with update rules.
Ano de publicação: | 1995
Fonte/Imprenta: | In: SIMPÓSIO BRASILEIRO DE BANCO DE DADOS, 10., 1995. Recife. Anais... Recife: UFPe, 1995.
Páginas: | p.245-260.
Idioma: | Inglês
Notas: | SBBD'95. Editado por Décio Fonseca.
Conteúdo: | We present a model for deductive databases which contains query rules and update rules. Our approach is based on the assumptions that (a) both inserted and deleted facts are explicitly stored in the database and used in the derivation process and (b) update rules have higher priority than query rules, i.e., update rules may generate exceptions to query-driven derivations. We give formal semantics for such databases using a least fixed point approach in the context of a three-valued logic. Only one update operation is defined since insertions and deletions are performed in a similar way. We present a transaction specification language implementing this update universal relation interfaces as well.
Categoria do assunto: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (3573-1) - ADD - PL - -- - 005.74 - SIM - 1995.00010 - DIS