A Safe Relational Calculus for Functional Logic Deductive Databases 1
|
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 Relational Calculus for Functional Logic Deductive Databases 1
|
| Id. |
45788278 |
| Idioma |
inglés
|
| Titulo |
A Safe Relational Calculus for Functional Logic Deductive Databases 1 |
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.111.5015
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Abstract In this paper, we present an extended relational calculus for expressing queries in functional-logic deductive databases. This calculus is based on first-order logic and handles relation predicates, equalities and inequalities over partially defined terms, and approximation equations. For the calculus formulas, we have studied syntactic conditions in order to ensure the domain independence property. Finally, we have studied its equivalence w.r.t. the original query language, which is based on equality and inequality constraints.
|
| Tipo |
application/postscript
|
| Palabras clave |
Key words
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/postscript
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://indalog.ual.es/WWW/wflp03entcs.ps
[References] 10.1.1.41.7218
[References] 10.1.1.67.3397
[References] 10.1.1.86.9277
[References] 10.1.1.131.4193
[References] 10.1.1.102.1564
[References] 10.1.1.42.793
[References] 10.1.1.98.9671
[References] 10.1.1.115.6133
[References] 10.1.1.9.41
|
| Fecha de contribución |
28-sep-2009 |
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
