Este sítio web usa «cookies» para fornecer os seus serviços, para melhorar o desempenho, para analítica e (se não estiver autenticado) para publicidade. Ao usar o LibraryThing está a reconhecer que leu e compreende os nossos Termos de Serviço e Política de Privacidade. A sua utilização deste sítio e serviços está sujeita a essas políticas e termos.
PlaidStallion (3): An Introduction to Database Systems, Eighth Edition provides a comprehensive introduction to the now very large field of database systems. It furnishes a solid grounding in the foundations of database technology, while shedding some light on how the field is likely to develop in the future. This new edition has been expanded and rewritten to stay current with database system trends and developments; however, the overall emphasis remains on insight and understanding, not just on formalisms.… (mais)
Logic is about consistency – but not about all types of consistency. For example, if a man supports Arsenal one day and Spurs [soccer teams] the next, then he is fickle but not necessarily illogical. It a legal system helps the rich but not the poor then it is unjust but not illogical. The type of consistency which concerns logicians is not loyalty or justice or sincerity, it is compatibility of beliefs. Logic, Therefore, involves studying the situations in which a particular sentence is true or false and the rules that determine whether a given argument is valid or invalid.
Now fully revised and updated. Wilfrid Hodges’ accessible study is the essential text for anyone who wants to learn about elementary logic. Assuming no previous knowledge of the subject, it takes the reader through the whole gamut of logical expressions, symbols and notations in a simple and lively way. Many helpful examples are given, and for readers who are mathematically adventurous there are optional sections introducing rather more challenging material. This new edition also contains some additional exercises, with updated sections on formalization and semantics.
‘A lively and stimulating book’ Philosophy… (mais)
Set Theory and Logic is the result of a course of lectures for advanced undergraduates, developed at Oberlin College for the purpose of introducing students to the conceptual foundations of mathematics. Mathematics, specifically the real number system, is approached as a unity whose operations can be logically ordered through axioms. One of the most complex and essential of modern mathematical innovations, the theory of sets (crucial to quantum mechanics and other sciences), is introduced in a most careful, concept by concept manner, aiming for the maximum in clarity and stimulation for further study in set logic.
Sets and Relations—Cantor’s concept of a set, etc.
Natural Number Sequence—Zorn’s Lemma, etc.
Extension of Natural Numbers to Real Numbers
Logic—the Statement and Predicate Calculus, etc.
Informal Axiomatic Mathematics
Informal Axiomatic Set Theory
Several Algebraic Theories—Rings, Integral Domains, Fields, etc.
First-Order Theories—Metamathematics, etc.
Symbolic logic does not figure significantly until the final chapter. The main theme of the book is mathematics as a system seen through the elaboration of real numbers; theory and logic are seen as efficient in constructing axioms necessary to the system.
Mathematics students at the undergraduate level, and those who seek a rigorous but not unnecessarily technical introduction to mathematical concepts, will welcome the return to print of this most lucid work.
“Professor Stoll . . . has given us one of the best introductory texts we have seen.”
“In the reviewer’s opinion, this is an excellent book, and in addition to its as a textbook (it contains a wealth of exercises and examples) can be recommended to all who wish an introduction to mathematical logic technical then standard (to which it can also serve as preliminary reading).” —Mathematical Reviews … (mais)
This clearly written introduction to the fundamental branch of symbolic logic treats the symbolization of English sentences, and develops formal-proof, truth-table, and truth-tree techniques for evaluating arguments.
Logic is applied to materials encountered by college students with practical examples and exercises drawn from newspapers, television, textbooks, and so forth. Logic is made interesting and relatively easy to learn without sacrificing content or rigor. The natural-deduction inference rules employed are well suited for enhancing students’ logical skills. Each logical connective is the subject of one chapter. This allows the student to master both symbolization and proof moves before tackling the next connective.… (mais)
First published over twenty years ago, this little classic addresses timeless questions about how we as human beings perceive and process information about the world we operate in, and how we struggle to impose that view on our data processing machines. The concerns at this level are the same whether we use hierarchical, relational, or object-oriented information structures; whether we process data via punched-card machines or interactive graphic interfaces; whether we correspond by paper mail or e-mail; whether we shop from paper-based catalogs or the web. No matter what the technology, these underlying issues have to be understood.
You can read this book for insights into the basis of computer data processing. You can also read it for insights into the way we perceive reality, and the constructs and tactics we use to cope with complexity, ambiguity, incomplete information, mismatched viewpoints, and conflicting objectives.
This new [second] edition preserves the original content with minor cleanup and a new preface. The format, though, has been thoroughly modernized. That ugly typewriter font is gone! It’s now a pleasure for the eyes as well as the mind. And it’s still as relevant as ever.… (mais)
This book is about the mathematical foundation of relational databases; it demonstrates how you can use logic and set theory as tools to formally specify database designs, including data integrity constraints (a main topic of this book). Don’t let the mention of math scare you off, Lex and I explain the required mathematical concepts with many examples and believe the book is accessible to the regular database professional. We only assume that you are familiar with designing a database.
You’ll find three parts in this book:
Part 1 provides the mathematics. Lex and I cover those parts of logic and set theory that are both necessary and sufficient to formally specify database designs and their constraints. Part 2 demonstrates the application of these subjects. It gradually develops the formal specification of a 10-table database design that includes more than 70 data integrity constraints. You’ll also find a treatment of formal query and transaction specification in this part. Part 3 points out the poor support for declarative constraints in today’s SQL-based database products. Enforcing data integrity in today’s products can be a tough job, especially when constraints must consider multiple rows. We’ll demonstrate a method—based on database triggers—to implement multi-row constraints procedurally. This method has evolved for more than 12 years; it is an efficient one and one that cannot be subverted.
It is important to understand the mathematical foundation of our database profession. I’m convinced that the knowledge contained in this book will, in the end, enable you to design and implement databases better.
PlaidStallion (2): “What I think Date has done is nothing less than to lay out the foundational concepts for the next generation of business logic servers basedon predicate logic. Such a breakthrough should revolutionize application development in our industry--and take business rules to their fullest expression.”
—Ronald G. Ross, Principal, Business Rule Solutions, LLC
Executive Editor, DataToKnowledge Newsletter
The way we build computer applications is about to change dramatically, thanks to a new development technology known as business rules. The key idea behind the technology is that we can build applications declaratively instead of procedurally--that is, we can simply state WHAT needs to be done instead of HOW to do what needs to be done. The advantages are obvious: ease and rapidity of initial development and subsequent maintenance, hardware and software platform independence, overall productivity, business adaptivity, and more.
What Not How: The Business Rules Approach to Application Development is a concise and accessible introduction to this new technology. It is written for both managers and technical professionals. The book consists of two parts: Part I presents a broad overview of what business rules are all about; Part II then revisits the ideas in Part I and shows how they fit squarely into the solid tradition of relational technology. Topics covered include:
Database and application rules
Building on the data model
Potential advantages and disadvantages
A new look at relational fundamentals
Business rules and the relational model
Overall, the book provides a good grounding in an important new technology, one poised to transform the way we do business in the IT world.… (mais)
“The aim of this book is to provide a correct and up-to-date understandingof—and appreciation for—the practical aspects of crucial, yet little understood core database issues. It identifies and clarifies certain fundamental concepts, principles, and techniques that persistently trouble users and vendors. It assesses the treatment of those issues in SQL (both the standard and commercial implementations) and gives specific guidance and practical advice on how to deal with them (and how not to). It covers, carefully and thoroughly, several particularly tricky and misunderstood topics—complex data types, missing information, data hierarchies, quota queries, and so forth—in a succinct and concise form for the busy database practitioner”
—C. J. Date, from the Foreword
Three decades ago relational technology put the database field on a sound, scientific foundation for the first time. But the database industry—vendors, users, and the trade press—has essentially flouted its principles, focusing instead on a “cookbook,” product-specific approach, devoid of conceptual understanding. The consequences have been costly: DBMS products, databases, development tools, and applications don’t always perform up to expectation or potential, and they can encourage the wrong questions and provide the wrong answers.
Practical Issues in Database Management is an attempt to remedy this intractable and costly situation. Written for database designers, programmers, managers, and users, it addresses the core, commonly recurring issues and problems that practitioners—even the most experienced database professionals—seem to systematically misunderstand, namely:
Unstructured data and complex datatypes
Entity subtypes and supertypes
Business rules and integrity enforcement
Normalization and denormalization
Data hierarchies and recursive queries
Fabian Pascal examines these critical topics thoroughly, comparing the severe costs of mishandling them to the practical benefits of -implementing the correct solutions.
With an emphasis on both principles and practice, Practical Issues in Database Management employs real-world examples to provide an assessment of current technology—SQL and the DBMS products based on it—and, whenever possible, offers concrete recommendations and workarounds. With the insight provided by Practical Issues in Database Management, you will be in a far better position to evaluate specific products, exploit their capabilities, and avoid their deficiencies.
Fabian Pascal is an independent industry analyst, consultant, author, and lecturer specializing in database management. He is the author of two previous books, Understanding Relational Databases and SQL and Relational Basics, and has contributed extensively to many industry publications.… (mais)