home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / database / theory / 665 < prev    next >
Encoding:
Internet Message Format  |  1992-12-31  |  736 b 
  1. Path: sparky!uunet!digex.com!dzik
  2. From: dzik@access.digex.com (Joseph Dzikiewicz)
  3. Newsgroups: comp.databases.theory
  4. Subject: formal semantics for data languages/models
  5. Date: 1 Jan 1993 03:12:31 GMT
  6. Organization: Express Access Online Communications, Greenbelt, MD USA
  7. Lines: 7
  8. Sender: dzik@access.digex.com
  9. Message-ID: <1i0cqvINN31c@mirror.digex.com>
  10. NNTP-Posting-Host: access.digex.com
  11.  
  12. I am looking for approaches to formally specifying the semantics of
  13. an object oriented data model and of the associated data and query
  14. languages.  The traditional methods of specifying semantics of
  15. programming languages (denotational and axiomatic) seem more geared 
  16. toward procedural languages.  Does anyone out there have any ideas
  17. or pointers?
  18.  
  19.