Publicidad

Publicidad

becas.universia.netBiblioteca.Net

Buscar recursos:

Buscador Google

A Safe Calculus and Algebra for Querying Functional Logic Deductive Databases

Descargar SCORM

Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).

Para poder solicitar este recurso debe identificarse como usuario de la biblioteca

 
Ver

Detalles del recurso

Marcadores Sociales
A Safe Calculus and Algebra for Querying Functional Logic Deductive Databases
Id. 42043931
Idioma inglés
Titulo A Safe Calculus and Algebra for Querying Functional Logic Deductive Databases
Autor(es) Dpto Lenguajes
Localización http://citeseer.ist.psu.edu/608390.html
Versión 1.0
Estado Final
Descripción In this paper, we present an extended relational calculus and algebra for a functional logic deductive database language. The extended relational calculus is based on the relational rst-order logic, by adding constraints in the form of equalities and disequalities over complex (partially de ned and possibly in nite) values and interpreted functions. In addition, we propose the notion of safety over calculus formulas in order to guarantee the property of domain independence. In the case of the extended relational algebra, we provide a generalization of the selection and projection operators in order to restructure complex values by means of constructors and destructors, interpreted functions and function inverses, as well as, to consider equality and disequality constraints. Finally, we will state that the two query formalisms (calculus and algebra) are equivalent.
Tipo ps
Palabras clave Dpto Lenguajes A Safe Calculus and Algebra for Querying Functional Logic Deductive Databases
Tipo de Interactividad Expositivo
Nivel de Interactividad muy bajo
Audiencia Estudiante
Profesor
Autor
Estructura Atomic
Coste no
Copyright
unrestricted
Formatos ps
Requerimientos técnicos Browser: Any
Relación [IsBasedOn] http://www.ual.es/%7Ejalmen/prole02def.ps
[References] oai:CiteSeerPSU:381880
[References] oai:CiteSeerPSU:221072
[References] oai:CiteSeerPSU:370159
[References] oai:CiteSeerPSU:533157
[References] oai:CiteSeerPSU:109309
[References] oai:CiteSeerPSU:45724
[References] oai:CiteSeerPSU:282939
[References] oai:CiteSeerPSU:594222
Fecha de contribución 31-mar-2009
Contacto

Valoración de los usuarios

No hay ninguna valoración para este recurso. Sea el primero en valorar este recurso.