A Universal Model for Non-procedural Database Languages The following is an abstract of the publication. The complete version is available from this server in ASCII and PostScript versions.
N. Rishe, ``A Universal Model for Non-procedural Database Languages,'' Fundamenta Informaticae, in press (1995). Copyright (c) 1995 

         A UNIVERSAL MODEL FOR NON-PROCEDURAL DATABASE
                           LANGUAGES

                        Naphtali Rishe

           High-performance Database Research Center
 School of Computer Science, Florida International University
               University Park, Miami, FL 33199


           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.