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 [...]
© 2001-2026 Fundación Dialnet · Todos los derechos reservados