Jesús Almendros-Jiménez, Antonio Becerra-Terón  Home/Search
Context
Related
| ual.es/~jalmen/flops2001.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ual.es/~jalmen/research (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we start the design of a functional-logic deductive database language. Given that most logic deductive languages consider bottom-up evaluation as operational mechanism, here we will focus on the development of an operational semantics based on bottomup evaluation for functional logic languages. As in the logic paradigm, the bottom-up evaluation will consist in a magic transformation for a given program-query into a magic program-query for which the bottomup evaluation will... (Update)
Similar documents (at the sentence level):
76.9%: A Framework for Goal-Directed Bottom-Up Evaluation of.. - Almendros-Jiménez, al. (Correct)
Active bibliography (related documents): More All
0.8: A Computational Model for Functional Logic Deductive.. -.. (2001) (Correct)
0.8: INDALOG: A Declarative Deductive Database Language - Almendros-Jiménez.. (2001) (Correct)
0.2: Lazy Type Checking in Functional Logic Programming - Almendros-Jiménez (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.9: A Safe Relational Calculus for Functional Logic.. -.. (Correct)
0.5: A Safe Calculus and Algebra for Querying.. -.. (Correct)
0.5: A Relational Algebra for Functional Logic Deductive.. -.. (Correct)
BibTeX entry: (Update)
@misc{ nez-framework,
author = "Jesús Almendros-Jiménez and Antonio Becerra-Terón",
title = "A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic
Programs",
url = "citeseer.ist.psu.edu/481253.html" }
Citations (may not include all citations):315 Constraint Query Languages - Kanellakis, Kuper et al. - 1995
254 The Integration of Functions into Logic Programming: From Th.. (context) - Hanus - 1994
192 Logic programming (context) - Apt - 1990
171 A Needed Narrowing Strategy - Antoy, Echahed et al.
121 Logic Programming with Functions and Predicates: The Languag.. (context) - Moreno-Navarro, Rodr - 1992
121 the Power of Magic - Beeri, Ramakrishnan - 1991
115 Magic Templates: A Spellbinding Approach to Logic Programs - Ramakrishnan - 1991
78 A Demand Driven Computation Strategy for Lazy Narrowing - Loogen, opez-Fraguas et al.
52 The Aditi Deductive Database System - Vaghani, Ramamohanarao et al. - 1994
50 Bottom-up Beats Top-down for Datalog (context) - Ullman
48 A General Framework for Semantics-based Bottom-up Abstract I.. - Barbuti, Giacobazzi et al. - 1993
43 the Power of Alexander Templates (context) - Seki
35 A Survey of Deductive Database Systems (context) - Ramakrishnan, Ullman - 1995
23 The CORAL Deductive System - Ramakrishnan, Srivastava et al. - 1994
20 The Generalized Counting Method for Recursive Logic Queries - Sacca, Zaniolo - 1988
19 Bottom-up Evaluation and Query Optimization of Well-founded .. - Kemp, Srivastava et al. - 1995
14 Higher-order Narrowing with Denitional Trees (context) - Hanus, Prehofer - 1999
11 A General Scheme for Constraint Functional Logic Programming (context) - Lopez-Fraguas
10 An Approach to Declarative Programming Based on a Rewriting .. (context) - Gonz, Hortal et al. - 1999
8 OY: A Multiparadigm Declarative System (context) - opez-Fraguas, anchez-Hern
8 An Integrated Functional Logic Language (context) - Hanus - 2000
7 Optimizing Bottom-up Evaluation of Constraint Queries - Kemp, Stuckey - 1996
7 Ecient Goal Directed Bottom-up Evaluation of Logic Programs (context) - Codish
6 A Domain-theoretic Approach to Integrating Functional and Lo.. (context) - Poulovasslis, Small
5 PFL: An Active Functional DBPL (context) - Reddi, Poulovassilis et al. - 1999
3 A Framework for GoalDirected Bottom-Up Evaluation of Functio.. (context) - Almendros-Jim, Becerra-Ter - 2000
Documents on the same site (http://www.ual.es/~jalmen/research.html): More
INDALOG: A Declarative Deductive Database Language - Almendros-Jiménez.. (2001) (Correct)
A Framework for Goal-Directed Bottom-Up Evaluation of.. - Almendros-Jiménez, al. (Correct)
Lazy Narrowing with Parametric Order Sorted Types - Almendros-Jiménez.. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC