INDALOG: A Declarative Deductive Database Language (2001)
| Venue: | In Proc. of PROLE |
| Citations: | 1 - 1 self |
BibTeX
@INPROCEEDINGS{Almendros-jiménez01indalog:a,
author = {Jesús M. Almendros-jiménez and Antonio Becerra-terón},
title = {INDALOG: A Declarative Deductive Database Language},
booktitle = {In Proc. of PROLE},
year = {2001},
pages = {113--128}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. In this paper we present the main features of a deductive database language named IN DALOG based on the integration of functional and logic paradigms. As most deductive database systems, IN DA-LOG allows the handling of negation, higher-order functions, grouping operators, support for aggregation, handling of non-ground facts, and support for indexing structures on both extensional and intensional relations of a database. Moreover, we present the semantic foundations of this language. 1
