tuple calculus

From: Dan Wu <danwu_at_MERCURY.CS.UREGINA.CA>
Date: 2000/07/12
Message-ID: <Pine.SGI.3.91.1000712221212.19930A-100000_at_MERCURY.CS.UREGINA.CA>#1/1

Hello
I got a question here.

Suppose you are asked to write a tuple calculus for a quuery, how did you know what you wrote is a correct one? Do you have to test your
tuple calculus expression or you have a way to prove it?

Thanks
Dan Received on Wed Jul 12 2000 - 00:00:00 CEST

This message: [ Message body ]
Next message: Rod Moten: "Generic Database"
Previous message: Barry: "Interested in creating a Generic e-Commerce Data Model ?"
Next in thread: Alan: "Re: tuple calculus"
Reply: Alan: "Re: tuple calculus"

Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]

Original text of this message