a definite deductive database system (DDDBS) in prolog

• Autores: Matilde Celma Giménez, Lidia Moreno Boronat
• Localización: Mini and Microcomputers and their applications / Emilio Luque Fadón (ed. lit.), 1988, págs. 183-185
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • The first order logic has been used as a formal support to study classical database problems: query languages, integrity modelling and database schema analysis. Furthemore, logic allows [...]