UB2SQL is a tool for designing and developing database applications using UML and B formal method. The approach supported by UB2SQL consists of two successive phases. In the first phase, with the design of application...
详细信息
UB2SQL is a tool for designing and developing database applications using UML and B formal method. The approach supported by UB2SQL consists of two successive phases. In the first phase, with the design of applications using class, state and collaboration diagrams, B specifications are automatically generated from UML diagrams;the diagrams are then augmented with these B specifications in place. The second phase deals with the refinement of these B specifications into a relational database implementation,for which UML representation is constructed. In both phases, proofs are achieved to ensure correctness of the obtained B specification and correctness of the refinement process. To overcome the lack of rules and tactics in the B prover UB2SQL defines specific rules and tactics making the proof task seem like a push-button activity. To increase the usability of UB2SQL in both academic and industrial contexts, the tool has been integrated as a plug-in to the Rational Rose CASE tool. Such integration allows users to develop and be able to visualize graphical UML diagrams and formal B notation in a single environment.
A set of primitive operations on tuples is derived; it is shown that these operations are necessary and sufficient for the implementation tion of any language equivalent in power to the relational algebra. The transla...
详细信息
A set of primitive operations on tuples is derived; it is shown that these operations are necessary and sufficient for the implementation tion of any language equivalent in power to the relational algebra. The translation of queries from a variety of relational languages into these tuple operations is discussed and illustrated with several examples. A method is given for the conversion of such a translated query into a network of processes and files. An optimization algorithm which operates on this network is described and demonstrated. Using this method, many different relational languages can be implemented using the same data management software; furthermore, the underlying software can be changed without requiring any changes at the user interface. This approach should yield great benefits in reduced cost and increased flexibility of implementation.
A hands-on beginner’s guide to designing relationaldatabases and managing data using Microsoft Access relationaldatabases represent one of the most enduring and pervasive forms of information technology. Yet most t...
详细信息
ISBN:
(数字)9781119430087
ISBN:
(纸本)9781119329411
A hands-on beginner’s guide to designing relationaldatabases and managing data using Microsoft Access relationaldatabases represent one of the most enduring and pervasive forms of information technology. Yet most texts covering relationaldatabase design assume an extensive, sophisticated computer science background. There are texts on relationaldatabase software tools like Microsoft Access that assume less background, but they focus primarily on details of the user interface, with inadequate coverage of the underlying design issues of how to structure databases. Growing out of Professor Jonathan Eckstein’s twenty years’ experience teaching courses on management information systems (MIS) at Rutgers Business School, this book fills this gap in the literature by providing a rigorous introduction to relationaldatabases for readers without prior computer science or programming experience. relationaldatabase Design for Business, with Microsoft Access helps readers to quickly develop a thorough, practical understanding of relationaldatabase design. It takes a step-by-step, real-world approach, using application examples from business and finance every step the way. As a result, readers learn to think concretely about database design and how to address issues that commonly arise when developing and manipulating relationaldatabases. By the time they finish the final chapter, students will have the knowledge and skills needed to build relationaldatabases with dozens of tables. They will also be able to build complete Microsoft Access applications around such databases. This text: Takes a hands-on approach using numerous real-world examples drawn from the worlds of business, finance, and more Gets readers up and running, fast, with the skills they need to use and develop relationaldatabases with Microsoft Access Moves swiftly from conceptual fundamentals to advanced design techniques Leads readers step-by-step through data management and design, relationaldatabase
暂无评论