Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 1998 Working Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 1998 Working Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      A logic for the schema calculus

      Henson, Martin C.; Reeves, Steve
      Thumbnail
      Files
      uow-cs-wp-1998-05.pdf
      2.075Mb
      Find in your library  
      Citation
      Export citation
      Henson, M. C. & Reeves, S. (1998). A logic for the schema calculus. (Working paper 98/5). Hamilton, New Zealand: University of Waikato, Department of Computer Science.
      Permanent Research Commons link: https://hdl.handle.net/10289/1050
      Abstract
      In this paper we introduce and investigate a logic for the schema calculus of Z. The schema calculus is arguably the reason for Z’s popularity but so far no true calculus (a sound system of rules for reasoning about schema expressions) has been given. Presentations thus far have either failed to provide a calculus (e.g. the draft standard [3]) or have fallen back on informal descriptions at a syntactic level (most text books e.g. [7]). Once the calculus is established we introduce a derived equational logic which enables us to formalise properly the informal notations of schema expression equality to be found in the literature.
      Date
      1998-03
      Type
      Working Paper
      Series
      Computer Science Working Papers
      Report No.
      98/5
      Publisher
      University of Waikato, Department of Computer Science
      Collections
      • 1998 Working Papers [18]
      Show full item record  

      Usage

      Downloads, last 12 months
      73
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement