A UNIVERSAL MODEL FOR NON-PROCEDURAL DATABASE LANGUAGES

Authors:
Naphtali Rishe
Affiliations:
High-performance Database Research Center, School of Computer Science, Florida International University, University Park, Miami, FL 33199, USA
Venue:
Fundamenta Informaticae
Year:
1996

Citing 7
Cited 0

Database design fundamentals

Database design fundamentals
Database design: the semantic modeling approach

Database design: the semantic modeling approach
PROLOG Database System

PROLOG Database System
Universality of data retrieval languages

POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Advances in Data Base Theory

Advances in Data Base Theory
Logic and Data Bases

Logic and Data Bases
Horn clauses and the fixpoint query hierarchy

PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a language which can express every computable query. The language is syntactically based on the first-order predicate calculus, but semantically is interpreted as post-conditions, unlike the customary calculus query languages. The language has a capability to restrict itself to reasonable queries, accepting criteria of reasonability as a parameter.