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
|
|
|
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 |
sí
|
|
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.
|
|
|
|
