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.
Deductive and Object-Oriented Databases [[electronic resource] ] : Third International Conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993. Proceedings / / edited by Stefano Ceri, Katsumi Tanaka, Shalom Tsur
| Deductive and Object-Oriented Databases [[electronic resource] ] : Third International Conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993. Proceedings / / edited by Stefano Ceri, Katsumi Tanaka, Shalom Tsur |
| Edizione | [1st ed. 1993.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
| Descrizione fisica | 1 online resource (XII, 496 p.) |
| Disciplina | 005.75 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Database management Artificial intelligence Mathematical logic Programming Techniques Database Management Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-48212-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Treating programs as objects: The computational proxy experience -- Foundations of aggregation in deductive databases -- The differential fixpoint operator with subsumption -- Datalog with non-deterministic choice computes NDB-PTIME -- A deductive and object-oriented approach to a complex scheduling problem -- On the logical foundations of schema integration and evolution in heterogeneous database systems -- Explaining program execution in deductive systems -- A logic for rule-based query optimization in graph-based data models -- Specifying rule-based query optimizers in a reflective framework -- Semantic query optimization in deductive object-oriented databases -- Research in deductive and object-oriented databases -- An implementation overview of the Aditi deductive database system -- Negation and aggregates in recursive rules: the LDL++ approach -- IsaLog¬: A deductive language with negation for complex-object databases with hierarchies -- On efficient reasoning with implication constraints -- Bottom-up query evaluation with partially ordered defaults -- An extension of path expressions to simplify navigation in object-oriented queries -- Query classes -- Database updating revisited -- Super-key classes for updating materialized derived classes in object bases -- Applications of deductive and object-oriented databases -- Beyond data dictionaries: Towards a reflective architecture of intelligent database systems -- A deductive and typed object-oriented language -- Noodle: A language for declarative querying in an object-oriented database -- Tracking causal dependencies in an active object-oriented database -- Automatic class and method generation for object-oriented databases -- Modeling multilevel entities using single level objects -- A model using classes as a basic organization tool -- Knowledge base revision using circumscription -- Versioning of objects in deductive databases -- A model for sets and multiple inheritance in deductive object-oriented systems. |
| Record Nr. | UNISA-996465775803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Next generation information technology and systems : 4th International Workshop, NGITS'99, Zikhron-Yaʻaḳov, Israel, July 1999 : proceedings. / / Ron Pinter, Shalom Tsur, (editors)
| Next generation information technology and systems : 4th International Workshop, NGITS'99, Zikhron-Yaʻaḳov, Israel, July 1999 : proceedings. / / Ron Pinter, Shalom Tsur, (editors) |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (X, 334 p.) |
| Disciplina | 004.015113 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer science
Information technology |
| ISBN | 3-540-48521-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk I -- Some Advances in Data-Mining Techniques -- Web Exploration -- Querying Semantically Tagged Documents on the World-Wide Web -- WWW Exploration Queries -- Strategies for Filtering E-mail Messages Combining Content-Based and Sociological Filtering with User-Stereotypes -- Interactive Query Expansion in a Meta-search Engine -- Database Technology -- On the Optimization of Queries containing Regular Path Expressions -- A Database Array Algebra for Spatio-Temporal Data and Beyond -- Dynamic Relationships and Their Propagation and Concurrency Semantics in Object-Oriented Databases -- Tracking Moving Objects Using Database Technology in DOMINO -- OLOG: A Deductive Object Database Language -- Multiplex: A Formal Model for Multidatabases and Its Implementation -- Temporal Active Rules -- Storage, Meta Information, Ontologies, and Software Engineering -- Cost-Effective Jukebox Storage via Hybrid File-Block Caching -- Ontology-Driven Integration of Scientific Repositories -- Global Version Management for a Federated Turbine Design Environment -- From Object-Process Diagrams to a Natural Object-Process Language -- eColabra An Enterprise Collaboration & Reuse Environment -- Invited Talk II -- Workflow Management in the Internet Age -- Agent and Workflow Management Technology -- A Component-based Workflow System with Dynamic Modifications -- A Temporal Reasoning Approach to Model Workflow Activities -- Dynamic Configuration and Enforcement of Access Control for Mobile Components -- Data Warehousing and Mining -- The MyView Project: A Data Warehousing Approach to Personalized Digital Libraries -- Integrating Data Mining with Relational DBMS: A Tightly-Coupled Approach -- Morphological Disambiguation for Hebrew Search Systems. |
| Record Nr. | UNINA-9910143454703321 |
| Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Next generation information technology and systems : 4th International Workshop, NGITS'99, Zikhron-Yaʻaḳov, Israel, July 1999 : proceedings. / / Ron Pinter, Shalom Tsur, (editors)
| Next generation information technology and systems : 4th International Workshop, NGITS'99, Zikhron-Yaʻaḳov, Israel, July 1999 : proceedings. / / Ron Pinter, Shalom Tsur, (editors) |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (X, 334 p.) |
| Disciplina | 004.015113 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer science
Information technology |
| ISBN | 3-540-48521-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk I -- Some Advances in Data-Mining Techniques -- Web Exploration -- Querying Semantically Tagged Documents on the World-Wide Web -- WWW Exploration Queries -- Strategies for Filtering E-mail Messages Combining Content-Based and Sociological Filtering with User-Stereotypes -- Interactive Query Expansion in a Meta-search Engine -- Database Technology -- On the Optimization of Queries containing Regular Path Expressions -- A Database Array Algebra for Spatio-Temporal Data and Beyond -- Dynamic Relationships and Their Propagation and Concurrency Semantics in Object-Oriented Databases -- Tracking Moving Objects Using Database Technology in DOMINO -- OLOG: A Deductive Object Database Language -- Multiplex: A Formal Model for Multidatabases and Its Implementation -- Temporal Active Rules -- Storage, Meta Information, Ontologies, and Software Engineering -- Cost-Effective Jukebox Storage via Hybrid File-Block Caching -- Ontology-Driven Integration of Scientific Repositories -- Global Version Management for a Federated Turbine Design Environment -- From Object-Process Diagrams to a Natural Object-Process Language -- eColabra An Enterprise Collaboration & Reuse Environment -- Invited Talk II -- Workflow Management in the Internet Age -- Agent and Workflow Management Technology -- A Component-based Workflow System with Dynamic Modifications -- A Temporal Reasoning Approach to Model Workflow Activities -- Dynamic Configuration and Enforcement of Access Control for Mobile Components -- Data Warehousing and Mining -- The MyView Project: A Data Warehousing Approach to Personalized Digital Libraries -- Integrating Data Mining with Relational DBMS: A Tightly-Coupled Approach -- Morphological Disambiguation for Hebrew Search Systems. |
| Record Nr. | UNISA-996465514703316 |
| Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||