grandiose
发表于 2025-3-23 12:43:09
http://reply.papertrans.cn/16/1600/159939/159939_11.png
glisten
发表于 2025-3-23 16:48:27
http://reply.papertrans.cn/16/1600/159939/159939_12.png
nominal
发表于 2025-3-23 19:46:03
http://reply.papertrans.cn/16/1600/159939/159939_13.png
Ebct207
发表于 2025-3-24 00:32:56
Tables and Database StatesFrom this chapter onward we’ll assume that you’re thoroughly familiar with all terminology introduced in Part 1 of this book. Only if we deem it necessary will we make explicit references back to where specific terminology was first introduced and defined.
enumaerate
发表于 2025-3-24 03:23:27
Specifying Database DesignsIn this chapter, we’ll give a demonstration of how you can formally specify a database design. Formalizing a database design specification has the advantage of avoiding any ambiguity in the documentation of not only the database structure but, even more importantly, of all involved data integrity constraints.
Phagocytes
发表于 2025-3-24 08:04:42
http://reply.papertrans.cn/16/1600/159939/159939_16.png
灾难
发表于 2025-3-24 14:32:47
Data RetrievalBy means of a ., you retrieve data from a database. In this chapter we’ll demonstrate how you can specify a query in a formal way. To do so, we won’t require the formal introduction of any new concepts; we’ve already presented all ingredients for specifying queries.
OCTO
发表于 2025-3-24 15:53:39
Implementing Database Designs in OracleThus far this book’s main focus has been on formally specifying a database design. Of course, you want to do more than just specify a database design; you usually would like to . it using some DBMS. In this chapter we turn our attention towards implementing a database design.
VOC
发表于 2025-3-24 19:36:23
http://reply.papertrans.cn/16/1600/159939/159939_19.png
粗俗人
发表于 2025-3-25 01:04:30
Tuple, Table, and Database Predicatestabase predicates to describe the data integrity constraints of a database design. The goal of this chapter is to establish these three different classes of predicates—which jointly we’ll refer to as .—and to give ample examples of predicates within each class.