diss_runningexample
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
diss_runningexample [2016/09/06 22:43] mgoller |
diss_runningexample [2016/09/06 23:11] (current) mgoller |
||
|---|---|---|---|
| Line 90: | Line 90: | ||
| these relations. | these relations. | ||
| - | \begin{table} | + | ^Relations | **sales**(units, priceperunit, timestamp, //prid//, //shopid//, //cid//) | |
| - | \centering | + | | | **product**(__prid__, name) | |
| - | \begin{tabular}{|lp{95mm}|} | + | | | **productgroup**(__groupid__, groupname) | |
| - | \hline | + | | | **isproductofgroup**(__//prid//__, __//groupid//__) | |
| - | ^Relations & {\tt sales(units, priceperunit, timestamp, \it{prid}, \it{shopid}, \it{cid})} \\ | + | | | **unit**(__shopid__, name, citycode, statecode) | |
| - | & {\tt product(\underline{prid}, name) } \\ | + | |
| - | & {\tt productgroup(\underline{groupid}, groupname), {\it ispartof}} \\ | + | |
| - | & {\tt isproductofgroup(\underline{\it{prid}}, | + | |
| - | \underline{\it{groupid}})} \\ | + | |
| - | & {\tt unit(\underline{shopid}, name, citycode, statecode)} \\ | + | |
| & {\tt customer(\underline{cid}, name, customertype, citycode, statecode)} \\ & \\ | & {\tt customer(\underline{cid}, name, customertype, citycode, statecode)} \\ & \\ | ||
| \hline | \hline | ||
diss_runningexample.txt · Last modified: 2016/09/06 23:11 by mgoller
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 3.0 Unported
