01109nam0 2200301 i 450 SUN001856220140625025023.23808-493-8281-520040629d1994 |0engc50 baengGB|||| |||||Advanced analysis of steel framestheory, software, and applicationsedited by Wai Fah Chen, Shouji TomaBoca RatonLondonCRC1994384 p.25 cm2 floppy disk.GBLondonSUNL000015USBoca RatonSUNL000070624.177321Chen, Wai-FahSUNV014618Toma, ShoujiSUNV014634CRCSUNV000167650Chen, W.F.Chen, Wai-FahSUNV014627Chen, W. F.Chen, Wai-FahSUNV014639ITSOL20201221RICASUN0018562UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI INGEGNERIA05CONS G III 023 05 1269 20061108 Advanced analysis of steel frames1429076UNICAMPANIA05529nam 22008655 450 991048377870332120251226195608.03-540-69270-310.1007/11965893(CKB)1000000000284082(SSID)ssj0000317136(PQKBManifestationID)11292338(PQKBTitleCode)TC0000317136(PQKBWorkID)10287516(PQKB)11669822(DE-He213)978-3-540-69270-6(MiAaPQ)EBC3068571(PPN)12315944X(BIP)34164641(BIP)13948286(EXLCZ)99100000000028408220100301d2006 u| 0engurnn|008mamaatxtccrDatabase Theory – ICDT 2007 11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings /edited by Thomas Schwentick, Dan Suciu1st ed. 2006.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2006.1 online resource (XI, 419 p.) Information Systems and Applications, incl. Internet/Web, and HCI,2946-1642 ;4353Bibliographic Level Mode of Issuance: Monograph3-540-69269-X Includes bibliographical references and index.Invited Lectures -- Consistent Query Answering: Five Easy Pieces -- Ask a Better Question, Get a Better Answer A New Approach to Private Data Analysis -- Beauty and the Beast: The Theory and Practice of Information Integration -- Information Integration and Peer to Peer -- Approximate Data Exchange -- Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report -- Compact Samples for Data Dissemination -- Privacy in GLAV Information Integration -- Axiomatizations for XML -- Unlocking Keys for XML Trees -- Characterization of the Interaction of XML Functional Dependencies with DTDs -- Axiomatizing the Logical Core of XPath 2.0 -- Expressive Power of Query Languages -- Query Evaluation on a Database Given by a Random Graph -- The Limits of Querying Ontologies -- Incompleteness, Inconsistency, and Uncertainty -- Complexity of Consistent Query Answering in Databases Under Cardinality-Based and Incremental Repair Semantics -- World-Set Decompositions: Expressiveness and Efficient Algorithms -- On the Expressiveness of Implicit Provenance in Query and Update Languages -- Trajectory Databases: Data Models, Uncertainty and Complete Query Languages -- XML Schemas and Typechecking -- Complexity of Typechecking XML Views of Relational Databases -- Exact XML Type Checking in Polynomial Time -- Optimizing Schema Languages for XML: Numerical Constraints and Interleaving -- Stream Processing and Sequential Query Processing -- Database Query Processing Using Finite Cursor Machines -- Constant-Memory Validation of Streaming XML Documents Against DTDs -- Ranking -- Preferentially Annotated Regular Path Queries -- Combining Incompleteness and Ranking in Tree Queries -- XML Update and Query -- Structural Recursion on Ordered Trees and List-Based Complex Objects -- Combining Temporal Logics for QueryingXML Documents -- Commutativity Analysis in XML Update Languages -- Query Containment -- Containment of Conjunctive Queries over Databases with Null Values -- Some Algorithmic Improvements for the Containment Problem of Conjunctive Queries with Negation.This book constitutes the refereed proceedings of the 11th International Conference on Database Theory, ICDT 2007, held in Spain in January 2007. The papers are organized in topical sections on information integration and peer to peer, axiomatizations for XML, expressive power of query languages, incompleteness, inconsistency, and uncertainty, XML schemas and typechecking, stream processing and sequential query processing, ranking, XML update and query, as well as query containment.Information Systems and Applications, incl. Internet/Web, and HCI,2946-1642 ;4353Data structures (Computer science)Information theoryDatabase managementComputer scienceMachine theoryArtificial intelligenceApplication softwareData Structures and Information TheoryDatabase ManagementTheory of ComputationFormal Languages and Automata TheoryArtificial IntelligenceComputer and Information Systems ApplicationsData structures (Computer science).Information theory.Database management.Computer science.Machine theory.Artificial intelligence.Application software.Data Structures and Information Theory.Database Management.Theory of Computation.Formal Languages and Automata Theory.Artificial Intelligence.Computer and Information Systems Applications.005.74Schwentick Thomas1750374Suciu Dan315265International Conference on Database TheoryMiAaPQMiAaPQMiAaPQBOOK9910483778703321Database Theory – ICDT 20074522622UNINA