canonical form for relational calculus
From: <D_at_B.A>
Date: Thu, 12 Jul 2001 17:29:40 GMT
Message-ID: <88l37.16867$Kf3.216399_at_www.newsranger.com>
Date: Thu, 12 Jul 2001 17:29:40 GMT
Message-ID: <88l37.16867$Kf3.216399_at_www.newsranger.com>
I'm looking for a canonical form for query. The closest paper on the subject I found is: "P. Kanellakis. Elements of Relational Database Theory" where he demonstrates that there exists a canonical form for stratified Datalog queries. I assume that there is extensive research on canonical forms for relational calculus queries.
Appreciate your references. Received on Thu Jul 12 2001 - 19:29:40 CEST