Resultados da pesquisa - "heuristic"

Database systems : an application-oriented approach Por Kifer, Michael

Sumário: “...Embedded SQLMore on Integrity ConstraintsDynamic SQLJDBC and SQLJODBCComparisonBibliographic NotesExercises PART THREE Optimizing DBMS Performance Chapter 9 Physical Data Organization and IndexingDisk OrganizationHeap FilesSorted FilesIndicesMultilevel IndexingHash IndexingSpecial-Purpose IndicesTuning Issues: Choosing Indices for an ApplicationBibliographic NotesExercises Chapter 10 The Basics of Query ProcessingOverview of Query ProcessingExternal SortingComputing Projection, Union, and Set DifferenceComputing SelectionComputing JoinsMultirelational JoinsComputing Aggregate FunctionsBibliographic NotesExercises Chapter 11 An Overview of Query OptimizationQuery Processing ArchitectureHeuristic Optimization Based on Algebraic EquivalencesEstimating the Cost of a Query Execution PlanEstimating the Size of the OutputChoosing a PlanBibliographic NotesExercises Chapter 12 Database TuningDisk CachesTuning the SchemaTuning the Data Manipulation LanguageToolsManaging Physical ResourcesInfluencing the OptimizerBibliographic NotesExercises PART FOUR Advanced Topics in Databases Chapter 13 Relational Calculus, Visual Query Languages, and Deductive DatabasesTuple Relational CalculusUnderstanding SQL through Tuple Relational CalculusDomain Relational Calculus and Visual Query LanguagesVisual Query Languages: QBE and PC DatabasesThe Relationship between Relational Algebra and the CalculiDeductive DatabasesBibliographic NotesExercises Chapter 14 Object DatabasesLimitations of the Relational Data ModelObject Databases versus Relational DatabasesThe Conceptual Object Data ModelObjects in SQL:1999 and SQL:2003The ODMG StandardCommon Object Request Broker ArchitectureBibliographic NotesExercises Chapter 15 XML and Web DataSemistructured Data Overview of XMLXML SchemaXML Query LanguagesBibliographic NotesExercises Chapter 16 Distributed DatabasesThe Application Designer's View of the DatabaseDistributing Data among Different DatabasesQuery Planning StrategiesBibliographic NotesExercises Chapter 17 OLAP and Data MiningOLAP and Data Warehouses-Old and NewA Multidimensional Model for OLAP ApplicationsAggregationROLAP and MOLAPImplementation IssuesPopulating a Data WarehouseData Mining TasksMining AssociationsClassification and Prediction Using Decision TreesClassification and Prediction Using Neural NetsClusteringBibliographic NotesExercises PART FIVE Transaction Processing Chapter 18 ACID Properties of TransactionsConsistencyAtomicityDurabilityIsolationThe ACID PropertiesBibliographic NotesExercises Chapter 19 Models of TransactionsFlat TransactionsProviding Structure within a TransactionStructuring an Application as Multiple TransactionsBibliographic NotesExercises Chapter 20 Implementing IsolationSchedules and Schedule EquivalenceRecoverability, Cascaded Aborts, and StrictnessModels for Concurrency ControlA Strategy for Immediate-Update Pessimistic Concurrency ControlsDesign of an Immediate-Update Pessimistic Concurrency ControlObjects and Semantic CommutativityAtomicity, Recoverability, and Compensating OperationsIsolation in Structured Transaction ModelsOther Concurrency ControlsBibliographic NotesExercises Chapter 21 Isolation in Relational DatabasesConflicts in a Relational DatabaseLocking and the SQL Isolation LevelsGranular Locking: Intention Locks and Index LocksTuning TransactionsMultiversion Concurrency ControlsBibliographic NotesExercises Chapter 22 Atomicity and DurabilityCrash, Abort, and Media FailureImmediate-Update Systems and Write-Ahead LogsRecovery in Deferred-Update SystemsRecovery from Media FailureBibliographic NotesExercises PART SIX Distributed Applications and the Web Chapter 23 Architecture of Transaction Processing SystemsTransaction Processing in a Centralized SystemTransaction Processing in a Distributed SystemThe TP Monitor: An OverviewThe TP Monitor: Global Atomicity and the Transaction ManagerThe TP Monitor: Remote Procedure CallThe TP Monitor: Peer-to-Peer CommunicationThe TP Monitor: Event CommunicationStorage ArchitecturesTransaction Processing on the InternetWeb Application Servers-J2EEBibliographic NotesExercises Chapter 24 Implementing Distributed TransactionsImplementing the ACID PropertiesAtomic TerminationTransfer of CoordinationDistributed DeadlockGlobal SerializationWhen Global Atomicity Cannot Be GuaranteedReplicated DatabasesDistributed Transactions in the Real WorldBibliographic NotesExercises Chapter 25 Web ServicesThe Basic IdeaWeb BasicsHypertext Transfer ProtocolSOAP: Message PassingWSDL: Specifying Web ServicesBPEL: Specifying Business ProcessesUDDI: Publishing and Discovering Information about ServicesWS-Coordination: Transactional Web ServicesBibliographic NotesExercises Chapter 26 Security and Electronic CommerceAuthentication, Authorization, and EncryptionEncryptionDigital SignaturesKey Distribution and AuthenticationAuthorizationAuthenticated Remote Procedure CallElectronic CommerceThe Secure Sockets Layer Protocol: CertificatesPassport: Single Sign-OnKeeping Credit Card Numbers PrivateThe Secure Electronic Transaction Protocol: Dual SignaturesGoods Atomicity, Certified Delivery, and EscrowElectronic Cash: Blind SignaturesSecurity in XML-Based Web ServicesBibliographic NotesExercises BibliographyIndexAppendices, available on the Web A An Overview of Transaction ProcessingIsolationAtomicity and DurabilityImplementing Distributed TransactionsBibliographic NotesExercises B Requirements and SpecificationsSoftware Engineering MethodologyThe Requirements Document for the Student Registration SystemRequirements Analysis-New IssuesSpecifying the Student Registration SystemThe Specification Document for the Student Registration System: Section IIIThe Next Step in the Software Engineering ProcessBibliographic NotesExercises C Design, Coding, and TestingThe Design ProcessTest PlanProject PlanningCodingIncremental DevelopmentThe Project Management PlanDesign and Code for the Student Registration SystemBibliographic NotesExercises...”

Structured techniques : the basis for CASE / Por Martin, James

Sumário: “...652 (2) Building Blocks of Information Engineering 654 (7) Computerization of Information Engineering 661 (1) Essential Need for User Participation 661 (2) A House on the Sand 663 (1) Two Images 663 (4) PART VI VERIFICATION AND TESTING 667 (64) 45 Software Verification, Validation, and Testing 667 (8) The Case of the $18.5-Million Hyphen 667 (1) The Case of the Infinite Loop 667 (1) Demonstrating Software Correctness 667 (4) Verification and Validation Techniques 671 (4) 46 Testing 675 (14) The Testing Process 675 (1) Testing Heuristics 675 (3) Four-Phase Testing Procedure 678 (1) Unit Testing 679 (2) Integration Testing 681 (3) System Testing 684 (1) Acceptance Testing 685 (1) Test Data 685 (4) 47 Debugging 689 (12) The Case of the Missing Period 689 (1) The Difficulty of Debugging 689 (1) Debugging Methods 690 (1) Program Debugging Tools 691 (2) Locating Program Errors 693 (6) Predicting Error-Proneness 699 (2) 48 Automated Test Tools 701 (16) Test Tools 701 (1) General Research's RXVP 701 (5) Software Renovation Technology's RE-LEARN 706 (8) Software Environments 714 (1) Bell Labs' UNIX 715 (2) 49 An Evaluation of Verification Techniques 717 (14) Introduction 717 (1) Limitations of Testing 717 (1) Problems with Test Tools 718 (1) Lack of Theory 718 (1) Testing Fourth-Generation-Language Programs 719 (4) Improvement Through Formality 723 (1) Formal Proof-of-Correctness Techniques 724 (7) PART VII TOWARD AN ENGINEERING DISCIPLINE 731 (32) 50 Where Do Structured Techniques Go from Here? ...”