On Database Systems Development Through Logic

The use of logic as a single tool for formalizing and implementing different aspects of database systems in a uniform manner is discussed. The discussion focuses on relational databases with deductive capabilities and very high-level querying and defining features. The computational interpretation o...

Descripción completa

Guardado en:
Detalles Bibliográficos
Publicado: 1982
Materias:
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03625915_v7_n1_p102_Dahl
http://hdl.handle.net/20.500.12110/paper_03625915_v7_n1_p102_Dahl
Aporte de:

Ejemplares similares