top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Advanced Oracle PL/SQL developer's guide : master the advanced concepts of PL/SQL for professional-level certification and learn the new capabilities of Oracle Database 12c / / Saurabh K. Gupta
Advanced Oracle PL/SQL developer's guide : master the advanced concepts of PL/SQL for professional-level certification and learn the new capabilities of Oracle Database 12c / / Saurabh K. Gupta
Autore Gupta Saurabh K.
Edizione [Second edition.]
Pubbl/distr/stampa Birmingham : , : Packt Publishing, , 2016
Descrizione fisica 1 online resource (428 p.)
Disciplina 005.7565
Collana Professional expertise distilled
Soggetto topico PL/SQL (Computer program language)
Database design
Soggetto genere / forma Electronic books.
ISBN 1-78528-252-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Cover; Copyright; Credits; About the Author; About the Reviewers; www.PacktPub.com; Table of Contents; Preface; Chapter 1: Overview of PL/SQL Programming Concepts; Chapter 2: Oracle 12c SQL and PL/SQL New Features; Chapter 3: Designing PL/SQL Code; Chapter 4: Using Collections; Chapter 5: Using Advanced Interface Methods; Chapter 6: Virtual Private Database; Chapter 7: Oracle SecureFiles; Chapter 8: Tuning PL/SQL Code; Chapter 9: Result Cache; Chapter 10: Analyzing, Profiling, and Tracing PL/SQL Code; Chapter 11: Safeguarding PL/SQL Code against SQL injection
Chapter 12: Working with Oracle SQL DeveloperIndex; Introduction to PL/SQL; Cursors - an overview; Exception handling in PL/SQL; Creating stored procedures; Functions; A PL/SQL package; Oracle Database 12c enhancements to PL/SQL subprograms; Managing database dependencies; Reviewing Oracle-supplied packages; Oracle SQL Developer; Summary; Practice exercise; Database consolidation and the new Multitenant architecture; Oracle 12c SQL and PL/SQL new features; The Oracle Database 12c (12.1.0.2) In-Memory option; Summary; Cursor structures; Cursor variables
Implicit statement results in Oracle Database 12cSubtypes; Summary; Practice exercise; Introduction to collections; Collection types; Associative arrays; Nested tables; Varray; Comparing the collection types; Oracle 12c enhancements to collections; PL/SQL collection methods; Summary; Practice exercise; Overview of External Procedures; Components of external procedure execution flow; Executing external C programs from PL/SQL; Securing External Procedures with Oracle Database 12c; Executing Java programs from PL/SQL; Summary; Practice exercise; Oracle Database Security overview
Fine-Grained Access ControlVirtual Private Database; Virtual Private Database metadata; Oracle Database 12c Security enhancements; Summary; Practice exercise; Introduction to Large Objects; LOB data types in Oracle; Oracle SecureFiles; Working with LOBs; Migrating LONG to LOBs; Migrating BasicFiles to SecureFiles; Oracle Database 12c enhancements to SecureFiles; Summary; Practice exercise; The PL/SQL Compiler; Native and interpreted compilation techniques; Tuning PL/SQL code; Summary; Practice exercise; Oracle Database 11g Result Cache; SQL query Result Cache; PL/SQL Function Result Cache
OCI Client results cacheThe DBMS_RESULT_CACHE package; Result cache in Real Application Clusters; Summary; Practice exercise; A sample PL/SQL program; Tracking PL/SQL coding information; Determining identifier types and usages; The DBMS_METADATA package; Tracing PL/SQL programs using DBMS_TRACE; Profiling PL/SQL code; Summary; Practice exercise; What is SQL injection?; Preventing SQL injection attacks; Testing the code for SQL injection flaws; Summary; Practice exercise; An overview of SQL Developer; Getting started with SQL Developer; SQL Developer 4.0 and 4.1 New Features; Summary
PL/SQL program fundamentals
Record Nr. UNINA-9910465865703321
Gupta Saurabh K.  
Birmingham : , : Packt Publishing, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Advanced Oracle PL/SQL developer's guide : master the advanced concepts of PL/SQL for professional-level certification and learn the new capabilities of Oracle Database 12c / / Saurabh K. Gupta
Advanced Oracle PL/SQL developer's guide : master the advanced concepts of PL/SQL for professional-level certification and learn the new capabilities of Oracle Database 12c / / Saurabh K. Gupta
Autore Gupta Saurabh K.
Edizione [Second edition.]
Pubbl/distr/stampa Birmingham : , : Packt Publishing, , 2016
Descrizione fisica 1 online resource (428 p.)
Disciplina 005.7565
Collana Professional expertise distilled
Soggetto topico PL/SQL (Computer program language)
Database design
ISBN 1-78528-252-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Cover; Copyright; Credits; About the Author; About the Reviewers; www.PacktPub.com; Table of Contents; Preface; Chapter 1: Overview of PL/SQL Programming Concepts; Chapter 2: Oracle 12c SQL and PL/SQL New Features; Chapter 3: Designing PL/SQL Code; Chapter 4: Using Collections; Chapter 5: Using Advanced Interface Methods; Chapter 6: Virtual Private Database; Chapter 7: Oracle SecureFiles; Chapter 8: Tuning PL/SQL Code; Chapter 9: Result Cache; Chapter 10: Analyzing, Profiling, and Tracing PL/SQL Code; Chapter 11: Safeguarding PL/SQL Code against SQL injection
Chapter 12: Working with Oracle SQL DeveloperIndex; Introduction to PL/SQL; Cursors - an overview; Exception handling in PL/SQL; Creating stored procedures; Functions; A PL/SQL package; Oracle Database 12c enhancements to PL/SQL subprograms; Managing database dependencies; Reviewing Oracle-supplied packages; Oracle SQL Developer; Summary; Practice exercise; Database consolidation and the new Multitenant architecture; Oracle 12c SQL and PL/SQL new features; The Oracle Database 12c (12.1.0.2) In-Memory option; Summary; Cursor structures; Cursor variables
Implicit statement results in Oracle Database 12cSubtypes; Summary; Practice exercise; Introduction to collections; Collection types; Associative arrays; Nested tables; Varray; Comparing the collection types; Oracle 12c enhancements to collections; PL/SQL collection methods; Summary; Practice exercise; Overview of External Procedures; Components of external procedure execution flow; Executing external C programs from PL/SQL; Securing External Procedures with Oracle Database 12c; Executing Java programs from PL/SQL; Summary; Practice exercise; Oracle Database Security overview
Fine-Grained Access ControlVirtual Private Database; Virtual Private Database metadata; Oracle Database 12c Security enhancements; Summary; Practice exercise; Introduction to Large Objects; LOB data types in Oracle; Oracle SecureFiles; Working with LOBs; Migrating LONG to LOBs; Migrating BasicFiles to SecureFiles; Oracle Database 12c enhancements to SecureFiles; Summary; Practice exercise; The PL/SQL Compiler; Native and interpreted compilation techniques; Tuning PL/SQL code; Summary; Practice exercise; Oracle Database 11g Result Cache; SQL query Result Cache; PL/SQL Function Result Cache
OCI Client results cacheThe DBMS_RESULT_CACHE package; Result cache in Real Application Clusters; Summary; Practice exercise; A sample PL/SQL program; Tracking PL/SQL coding information; Determining identifier types and usages; The DBMS_METADATA package; Tracing PL/SQL programs using DBMS_TRACE; Profiling PL/SQL code; Summary; Practice exercise; What is SQL injection?; Preventing SQL injection attacks; Testing the code for SQL injection flaws; Summary; Practice exercise; An overview of SQL Developer; Getting started with SQL Developer; SQL Developer 4.0 and 4.1 New Features; Summary
PL/SQL program fundamentals
Record Nr. UNINA-9910798172003321
Gupta Saurabh K.  
Birmingham : , : Packt Publishing, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Advanced Oracle PL/SQL developer's guide : master the advanced concepts of PL/SQL for professional-level certification and learn the new capabilities of Oracle Database 12c / / Saurabh K. Gupta
Advanced Oracle PL/SQL developer's guide : master the advanced concepts of PL/SQL for professional-level certification and learn the new capabilities of Oracle Database 12c / / Saurabh K. Gupta
Autore Gupta Saurabh K.
Edizione [Second edition.]
Pubbl/distr/stampa Birmingham : , : Packt Publishing, , 2016
Descrizione fisica 1 online resource (428 p.)
Disciplina 005.7565
Collana Professional expertise distilled
Soggetto topico PL/SQL (Computer program language)
Database design
ISBN 1-78528-252-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Cover; Copyright; Credits; About the Author; About the Reviewers; www.PacktPub.com; Table of Contents; Preface; Chapter 1: Overview of PL/SQL Programming Concepts; Chapter 2: Oracle 12c SQL and PL/SQL New Features; Chapter 3: Designing PL/SQL Code; Chapter 4: Using Collections; Chapter 5: Using Advanced Interface Methods; Chapter 6: Virtual Private Database; Chapter 7: Oracle SecureFiles; Chapter 8: Tuning PL/SQL Code; Chapter 9: Result Cache; Chapter 10: Analyzing, Profiling, and Tracing PL/SQL Code; Chapter 11: Safeguarding PL/SQL Code against SQL injection
Chapter 12: Working with Oracle SQL DeveloperIndex; Introduction to PL/SQL; Cursors - an overview; Exception handling in PL/SQL; Creating stored procedures; Functions; A PL/SQL package; Oracle Database 12c enhancements to PL/SQL subprograms; Managing database dependencies; Reviewing Oracle-supplied packages; Oracle SQL Developer; Summary; Practice exercise; Database consolidation and the new Multitenant architecture; Oracle 12c SQL and PL/SQL new features; The Oracle Database 12c (12.1.0.2) In-Memory option; Summary; Cursor structures; Cursor variables
Implicit statement results in Oracle Database 12cSubtypes; Summary; Practice exercise; Introduction to collections; Collection types; Associative arrays; Nested tables; Varray; Comparing the collection types; Oracle 12c enhancements to collections; PL/SQL collection methods; Summary; Practice exercise; Overview of External Procedures; Components of external procedure execution flow; Executing external C programs from PL/SQL; Securing External Procedures with Oracle Database 12c; Executing Java programs from PL/SQL; Summary; Practice exercise; Oracle Database Security overview
Fine-Grained Access ControlVirtual Private Database; Virtual Private Database metadata; Oracle Database 12c Security enhancements; Summary; Practice exercise; Introduction to Large Objects; LOB data types in Oracle; Oracle SecureFiles; Working with LOBs; Migrating LONG to LOBs; Migrating BasicFiles to SecureFiles; Oracle Database 12c enhancements to SecureFiles; Summary; Practice exercise; The PL/SQL Compiler; Native and interpreted compilation techniques; Tuning PL/SQL code; Summary; Practice exercise; Oracle Database 11g Result Cache; SQL query Result Cache; PL/SQL Function Result Cache
OCI Client results cacheThe DBMS_RESULT_CACHE package; Result cache in Real Application Clusters; Summary; Practice exercise; A sample PL/SQL program; Tracking PL/SQL coding information; Determining identifier types and usages; The DBMS_METADATA package; Tracing PL/SQL programs using DBMS_TRACE; Profiling PL/SQL code; Summary; Practice exercise; What is SQL injection?; Preventing SQL injection attacks; Testing the code for SQL injection flaws; Summary; Practice exercise; An overview of SQL Developer; Getting started with SQL Developer; SQL Developer 4.0 and 4.1 New Features; Summary
PL/SQL program fundamentals
Record Nr. UNINA-9910815849803321
Gupta Saurabh K.  
Birmingham : , : Packt Publishing, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Advances in Conceptual Modeling : ER 2022 Workshops, CMLS, EmpER, and JUSMOD, Hyderabad, India, October 17-20, 2022, Proceedings / / Renata Guizzardi and Bernd Neumayr, editors
Advances in Conceptual Modeling : ER 2022 Workshops, CMLS, EmpER, and JUSMOD, Hyderabad, India, October 17-20, 2022, Proceedings / / Renata Guizzardi and Bernd Neumayr, editors
Edizione [1st ed. 2022.]
Pubbl/distr/stampa Cham, Switzerland : , : Springer, , [2022]
Descrizione fisica 1 online resource (134 pages)
Disciplina 005.74
Collana Lecture Notes in Computer Science Series
Soggetto topico Conceptual structures (Information theory)
Database design
Entity-relationship modeling
ISBN 3-031-22036-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Towards a Model-driven Approach for Big Data Analytics in the Genomics Field -- Conceptual Modeling-based Cardiopathies Data Management -- A Conceptual Model of Health Monitoring Systems Centered on ADLs Performance in Older Adults -- A Comparative Analysis of the completeness and concordance of data sources with cancer-associated information -- A Flexible Automated Pipeline Engine for Transcript-level Quantification from RNA-seq -- An Initial Empirical Assessment of an Ontological Model of the Human Genome -- Unsupervised factor extraction from pretrial detention decisions by Italian and Brazilian Supreme Courts -- Context-Aware Knowledge Extraction from Legal Documents through Zero-Shot Classification -- On the Lack of Legal Regulation in Conceptual Modeling Automated extraction and representation of citation network: a CJEU case-study -- A Rule 74 for Italian judges.
Record Nr. UNISA-996503468003316
Cham, Switzerland : , : Springer, , [2022]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Advances in conceptual modeling - challenges and opportunities : ER 2008 workshops CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM, Barcelona, Spain, October 20-23, 2008, proceedings / / Il-Yeol Song [and nine others], editors
Advances in conceptual modeling - challenges and opportunities : ER 2008 workshops CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM, Barcelona, Spain, October 20-23, 2008, proceedings / / Il-Yeol Song [and nine others], editors
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin ; ; Heidelberg : , : Springer-Verlag, , [2008]
Descrizione fisica 1 online resource (XX, 468 p.)
Disciplina 005.74
Collana Lecture Notes in Computer Science
Soggetto topico Database design
Conceptual structures (Information theory)
Relational databases
ISBN 3-540-87991-9
Classificazione 54.60
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto CLMSA 2008 – Second International Workshop on Conceptual Modeling for Life Sciences Applications -- Preface to CMLSA 2008 -- Models of the Human Metabolism -- Designing Privacy-Aware Personal Health Record Systems -- Linking Biological Databases Semantically for Knowledge Discovery -- Integration of Genomic, Proteomic and Biomedical Information on the Semantic Web -- Domain Knowledge Integration and Semantical Quality Management –A Biology Case Study– -- Towards a Scientific Model Management System -- ECDM 2008 – Fifth International Workshop on Evolution and Change in Data Management -- Preface to ECDM 2008 -- Time Versus Standards: A Tale of Temporal Databases -- Modeling Transformations between Versions of a Temporal Data Warehouse -- Managing the History of Metadata in Support for DB Archiving and Schema Evolution -- Towards a Dynamic Inconsistency-Tolerant Schema Maintenance -- FP-UML 2008 – Fourth International Workshop on Foundations and Practices of UML -- Preface to FP-UML 2008 -- Using Object Concepts and UML for Conceptual Modeling -- Towards Obtaining Analysis-Level Class and Use Case Diagrams from Business Process Models -- Improving Automatic UML2 Profile Generation for MDA Industrial Development -- A UML Profile for Modelling Measurable Requirements -- A Comprehensive Aspect-Oriented Use Case Method for Modeling Complex Business Requirements -- Exploiting the Complementary Relationship between Use Case Models and Activity Diagrams for Developing Quality Requirements Specifications -- M2AS 2008 – First International Workshop on Modeling Mobile Applications and Services -- Preface to M2AS 2008 -- A Dynamically Extensible, Service-Based Infrastructure for Mobile Applications -- The Situation Lens: Looking into Personal Service Composition -- A System for Dynamically Generating User Centric Interfaces for Mobile Applications and Services -- Multimodal Mobile Virtual Blackboard -- Personalized Mobile Multimodal Services: CHAT Project Experiences -- A General-Purpose Context Modeling Architecture for Adaptive Mobile Services -- Barcode Scanning from Mobile-Phone Camera Photos Delivered Via MMS: Case Study -- A Qualitative Study of the Applicability of Technology Acceptance Models to Senior Mobile Phone Users -- Visualising the Dynamics of Unfolding Interactions on Mobile Devices -- RIGiM 2008 – Second International Workshop on Requirements, Intentions and Goals in Conceptual Modeling -- Preface to RIGiM 2008 -- Reflective Analysis of the Syntax and Semantics of the i* Framework -- Modeling Strategic Alignment Using INSTAL -- Requirements Engineering for Distributed Development Using Software Agents -- Integrating Business Domain Ontologies with Early Requirements Modelling -- Goal-Oriented Authoring Approach and Design of Learning Systems -- Timing Nonfunctional Requirements -- SeCoGIS 2008 – Second International Workshop on Semantic and Conceptual Issues in Geographic Information Systems -- Preface to SeCoGIS 2008 -- Projective Relations on the Sphere -- Life and Motion Configurations: A Basis for Spatio-temporal Generalized Reasoning Model -- A Semantic and Language-Based Model of Landscape Scenes -- An Ontology-Based Approach for the Semantic Modelling and Reasoning on Trajectories -- Administrative Units, an Ontological Perspective -- A Modular Data Infrastructure for Location-Based Services -- A Method to Derivate SOAP Interfaces and WSDL Metadata from the OGC Web Processing Service Mandatory Interfaces -- Managing Sensor Data on Urban Traffic -- Retrieving Documents with Geographic References Using a Spatial Index Structure Based on Ontologies -- WISM 2008 – Fifth International Workshop on Web Information Systems Modeling -- Preface to WISM 2008 -- Abstract State Services -- A Meta-model Approach to the Management of Hypertexts in Web Information Systems -- An Approach to Creating Design Methods for the Implementation of Product Software: The Case of Web Information Systems -- Semantic Verification of Web System Contents -- Identifying Users Stereotypes with Semantic Web Mining -- On Temporal Cardinality in the Context of the TOWL Language.
Record Nr. UNISA-996465484203316
Berlin ; ; Heidelberg : , : Springer-Verlag, , [2008]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Advances in conceptual modeling - foundations and applications : ER 2007 workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM, SeCoGIS, Auckland, New Zealand, November 5-9, 2007 : proceedings / / Jean-Luc Hainaut [and nine others] (editors)
Advances in conceptual modeling - foundations and applications : ER 2007 workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM, SeCoGIS, Auckland, New Zealand, November 5-9, 2007 : proceedings / / Jean-Luc Hainaut [and nine others] (editors)
Edizione [1st ed. 2007.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer-Verlag, , [2007]
Descrizione fisica 1 online resource (XIX, 424 p.)
Disciplina 005.74
Collana Lecture Notes in Computer Science
Soggetto topico Database design
Relational databases
Conceptual structures (Information theory)
ISBN 3-540-76292-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto CMLSA 2007 – International Workshop on Conceptual Modelling for Life Sciences Applications -- Preface to CMLSA 2007 -- Knowledge Discovery in Life Sciences -- Pattern Recognition of Single-Molecule Force Spectroscopy Data -- Massive Protein Structural Property Explorations Using New Indexing Mechanism -- Data Integration and Exchange in Health Informatics -- Data Access and Management in ACGT: Tools to Solve Syntactic and Semantic Heterogeneities Between Clinical and Image Databases -- Ontology-Based Data Integration in Data Logistics Workflows -- Model-Driven Development Based Transformation of Stereotyped Class Diagrams to XML Schemas in a Healthcare Context -- Conceptual Modelling for Biological Systems -- An Extendable System for Conceptual Modeling and Simulation of Signal Transduction Pathways -- Toward an Ontological Database for Subcellular Neuroanatomy -- Seed-Based Generation of Personalized Bio-ontologies for Information Extraction -- FP-UML 2007 – International Workshop on Foundations and Practices of UML -- Preface to FP-UML 2007 -- Improving the Use of UML Diagrams -- Developing State Diagrams Using a State Specialization Technique -- Quality Dependencies Among Use Case Models and Sequence Diagrams Developed by Novice Systems Analysts -- M-BPSec: A Method for Security Requirement Elicitation from a UML 2.0 Business Process Specification -- Model Transformations and Extensions -- Applying Model Transformation By-Example on Business Process Modeling Languages -- Extending OCL to Ensure Model Transformations -- A UML Profile for Modeling Data Warehouse Usage -- ONISW 2007 – InternationalWorkshop on Ontologies and Information Systems for the Semantic Web -- Preface to ONISW 2007 -- A Method for Semi-automatic Creation of Ontologies Based on Texts -- Enriching OWL with Instance Recognition Semantics for Automated Semantic Annotation -- Making Web Users’ Domain Models Explicit by Applying Ontologies -- Provability-Based Semantic Interoperability Via Translation Graphs -- QoIS 2007 – International Workshop on Quality of Information Systems -- Preface to QoIS 2007 -- PQM vs. BPQM: Studying the Tailoring of a General Quality Model to a Specific Domain -- An Ontological Approach for the Quality Assessment of Computer Science Conferences -- Using Practitioners for Assessing the Understandability of UML Statechart Diagrams with Composite States -- RIGiM 2007 – International Workshop on Requirements, Intentions and Goals in Conceptual Modelling -- Preface to RIGiM 2007 -- Keynote -- An Ontology for Requirements -- Requirements and Goals – Methods -- GOORE : Goal-Oriented and Ontology Driven Requirements Elicitation Method -- Early Prioritisation of Goals -- Goal-Aligned Requirements Generation -- A Model-Driven Goal-Oriented Requirement Engineering Approach for Data Warehouses -- Visually Effective Goal Models Using KAOS -- Agent Based Executable Conceptual Models Using i* and CASO -- Requirements and Goals – Concepts -- Achieving, Satisficing, and Excelling -- On the Adequacy of i* Models for Representing and Analyzing Software Architectures -- Extending Argumentation to Goal-Oriented Requirements Engineering -- SeCoGIS 2007 – International Workshop on Semantic and Conceptual Issues in Geographic Information Systems -- Preface to SeCoGIS 2007 -- Moving Objects -- Modeling Historical and Future Spatio-temporal Relationships of Moving Objects in Databases -- Towards a Semantic Spatial Model for Pedestrian Indoor Navigation -- Modeling Collaborative Semantics with a Geographic Recommender -- Dynamically Traveling Web Service Clustering Based on Spatial and Temporal Aspects -- Advances in Conceptual Modelling for GIS -- A Graph-Oriented Model and Query Language for Events -- PLR Partitions: A Conceptual Model of Maps -- A Conceptual Framework to Support Semantic Interoperability of Geospatial Datacubes -- Integrity Constraints and Approximate Reasoning -- On Languages for the Specification of Integrity Constraints in Spatial Conceptual Models -- Approximate Queries by Relaxing Structural Constraints in GIS -- Ensuring the Semantic Correctness of Complex Regions.
Record Nr. UNISA-996465481503316
Berlin, Heidelberg : , : Springer-Verlag, , [2007]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Automated database applications testing [[electronic resource] ] : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel
Automated database applications testing [[electronic resource] ] : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel
Autore Mikhail Rana Farid
Pubbl/distr/stampa Singapore ; ; Hackensack, NJ, : World Scientific, c2010
Descrizione fisica 1 online resource (212 p.)
Disciplina 005.1/4
Altri autori (Persone) BerndtDonald J
KandelAbraham
Collana Series in machine perception and artificial intelligence
Soggetto topico Computer software - Testing - Automation
Database design
Soggetto genere / forma Electronic books.
ISBN 1-282-75747-4
9786612757471
981-283-729-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Preface; Acknowledgments; Contents; 1. Introduction; 2. SpecDB: A Database Design for Software Speci cations; 3. Representing Formal Specifications in SpecDB: A Trans- lation Algorithm; 4. An Automated Constraint Generator; 5. A Reverse Engineering Testing Tool; 6. Enhancing Other Testing Tools Using SpecDB; 7. Conclusion and Future Work; Appendix A SQL Scripts for SpecDB Constraints; Appendix B PL/SQL Constraint Generator Code; Bibliography; Index
Record Nr. UNINA-9910456152703321
Mikhail Rana Farid  
Singapore ; ; Hackensack, NJ, : World Scientific, c2010
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Automated database applications testing [[electronic resource] ] : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel
Automated database applications testing [[electronic resource] ] : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel
Autore Mikhail Rana Farid
Pubbl/distr/stampa Singapore ; ; Hackensack, NJ, : World Scientific, c2010
Descrizione fisica 1 online resource (212 p.)
Disciplina 005.1/4
Altri autori (Persone) BerndtDonald J
KandelAbraham
Collana Series in machine perception and artificial intelligence
Soggetto topico Computer software - Testing - Automation
Database design
ISBN 1-282-75747-4
9786612757471
981-283-729-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Preface; Acknowledgments; Contents; 1. Introduction; 2. SpecDB: A Database Design for Software Speci cations; 3. Representing Formal Specifications in SpecDB: A Trans- lation Algorithm; 4. An Automated Constraint Generator; 5. A Reverse Engineering Testing Tool; 6. Enhancing Other Testing Tools Using SpecDB; 7. Conclusion and Future Work; Appendix A SQL Scripts for SpecDB Constraints; Appendix B PL/SQL Constraint Generator Code; Bibliography; Index
Record Nr. UNINA-9910780890203321
Mikhail Rana Farid  
Singapore ; ; Hackensack, NJ, : World Scientific, c2010
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Beginning database design solutions [[electronic resource] /] / Rod Stephens
Beginning database design solutions [[electronic resource] /] / Rod Stephens
Autore Stephens Rod <1961->
Edizione [1st edition]
Pubbl/distr/stampa Indianapolis, IN, : Wiley Pub., 2009
Descrizione fisica 1 online resource (552 p.)
Disciplina 005.74
Collana Wrox programmer to programmer
Soggetto topico Database design
Databases
Soggetto genere / forma Electronic books.
ISBN 1-282-13721-2
9786612137211
0-470-44051-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Beginning Database Design Solutions; About the Author; Credits; Acknowledgments; Contents; Introduction; Part I: Introduction to Databases and Database Design; Part II: Database Design Process and Techniques; Part III: A Detailed Case Study; Part IV: Implementing Databases (with Examples in Access and MySQL); Part V: Advanced Topics; Appendix A: Exercise Solutions; Appendix B: Sample Database Designs; Glossary; Index
Record Nr. UNINA-9910454616403321
Stephens Rod <1961->  
Indianapolis, IN, : Wiley Pub., 2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Beginning database design solutions [[electronic resource] /] / Rod Stephens
Beginning database design solutions [[electronic resource] /] / Rod Stephens
Autore Stephens Rod <1961->
Edizione [1st edition]
Pubbl/distr/stampa Indianapolis, IN, : Wiley Pub., 2009
Descrizione fisica 1 online resource (552 p.)
Disciplina 005.74
Collana Wrox programmer to programmer
Soggetto topico Database design
Databases
ISBN 1-282-13721-2
9786612137211
0-470-44051-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Beginning Database Design Solutions; About the Author; Credits; Acknowledgments; Contents; Introduction; Part I: Introduction to Databases and Database Design; Part II: Database Design Process and Techniques; Part III: A Detailed Case Study; Part IV: Implementing Databases (with Examples in Access and MySQL); Part V: Advanced Topics; Appendix A: Exercise Solutions; Appendix B: Sample Database Designs; Glossary; Index
Record Nr. UNINA-9910782613803321
Stephens Rod <1961->  
Indianapolis, IN, : Wiley Pub., 2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui