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
Autor principal: Dahl, V.
Formato: JOUR
Materias:
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03625915_v7_n1_p102_Dahl
Aporte de:

Ejemplares similares