Research Catalog

A tight, practical integration of relations and functions

Title
A tight, practical integration of relations and functions / Harold Boley.
Author
Boley, H. (Harold)
Publication
Berlin ; New York : Springer-Verlag, 1999.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.63 .B65 1999Off-site

Holdings

Details

Series Statement
Lecture notes in computer science ; 1712. Lecture notes in artificial intelligence
Uniform Title
  • Lecture notes in computer science ; 1712.
  • Lecture notes in computer science. Lecture notes in artificial intelligence.
Subject
  • Logic programming
  • Functional programming (Computer science)
  • Relational databases
Bibliography (note)
  • Includes bibliographical references.
Contents
1. An Overview of the Relational-Functional Language RELFUN -- 2. Extended Logic-plus-Functional Programming -- 3. A Direct Semantic Characterization of RELFUN -- 4. Finite Domains and Exclusions as First-class Citizens -- 5. Multiple-valued Horn Clauses and Their WAM Compilation.
ISBN
3540666443
LCCN
99051733
OCLC
ocm42690034
Owning Institutions
Columbia University Libraries