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] ] : Second International Conference, DOOD'91, Munich, Germany, December 16-18, 1991. Proceedings / / edited by Claude Delobel, Michael Kifer, Yoshifumi Masunaga
| Deductive and Object-Oriented Databases [[electronic resource] ] : Second International Conference, DOOD'91, Munich, Germany, December 16-18, 1991. Proceedings / / edited by Claude Delobel, Michael Kifer, Yoshifumi Masunaga |
| Edizione | [1st ed. 1991.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
| Descrizione fisica | 1 online resource (XV, 583 p.) |
| Disciplina | 005.75 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Database management
Computer programming Artificial intelligence Mathematical logic Database Management Programming Techniques Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-46646-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Optimization of nonrecursive queries in OODBs -- Optimisation of methods in a navigational query language -- Execution plan generation for an object-oriented data model -- Efficient access methods in deductive and object-oriented databases -- Semantics of disjunctive logic programs and deductive databases -- G-Log: A declarative graphical query language -- Non-determinism in deductive databases -- Declarative specification and evaluation of database updates -- Schema updates and consistency -- Updatable views in object-oriented databases -- Syntactic characterizations of 1-bounded Datalog programs -- Evaluation and optimization of complex object selections -- On testing effective computability of magic programs -- A comparison between deductive and object-oriented database systems -- Updating deductive databases with functional dependencies -- Constraints in an object-oriented deductive database -- Path constraints for graph-based data models: Towards a unified theory of typing constraints, equations, and functional dependencies -- Providing dynamic type abstractions and specifications for persistent information -- Multidimensional versioning for object-oriented databases -- On canonical and non-canonical classifications -- DOT: A term representation using DOT algebra for knowledge-bases -- Semantics of inheritance In logical object specifications -- A formalization of objects using equational dynamic logic -- A vision of persistent systems -- From relational to object-oriented integrity simplification -- On the efficient computation of the difference between consecutive database states -- Set-oriented propagation of updates into transitively closed relations -- Querying design and planning databases -- A generalized information resource query language and basic query evaluation technique -- An extensible functional query language for an Object Oriented Database System. |
| Record Nr. | UNISA-996465322903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Journal on Data Semantics VIII [[electronic resource] /] / edited by Stefano Spaccapietra, Paolo Atzeni, Francois Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Ilya Zaihrayeu
| Journal on Data Semantics VIII [[electronic resource] /] / edited by Stefano Spaccapietra, Paolo Atzeni, Francois Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Ilya Zaihrayeu |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (231 p.) |
| Disciplina | 401.430285 |
| Collana | Journal on Data Semantics |
| Soggetto topico |
Data structures (Computer science)
Database management Information storage and retrieval Artificial intelligence Application software Computer communication systems Data Structures and Information Theory Database Management Information Storage and Retrieval Artificial Intelligence Information Systems Applications (incl. Internet) Computer Communication Networks |
| ISBN |
1-280-81695-3
9786610816958 3-540-70664-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 23rd International Conference on Conceptual Modeling (ER 2004) -- Default Clustering with Conceptual Structures -- Workshop on Context and Ontologies: Theory,Practice and Applications (C&O 2005) -- Context Dependency Management in Ontology Engineering: A Formal Approach -- Encoding Classifications into Lightweight Ontologies -- Second International Conference on Ontologies,DataBases and Applications of SEmantics (ODBASE 2005) -- GeRoMe: A Generic Role Based Metamodel for Model Management -- Metadata Management in a Multiversion Data Warehouse -- International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2005) -- SomeRDFS in the Semantic Web -- A Tool for Evaluating Ontology Alignment Strategies -- 7th International Conference on Data Warehousing and Knowledge Discovery (DAWAK 2005) -- Processing Sequential Patterns in Relational Databases. |
| Record Nr. | UNISA-996465868203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Journal on Data Semantics VIII / / edited by Stefano Spaccapietra, Paolo Atzeni, Francois Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Ilya Zaihrayeu
| Journal on Data Semantics VIII / / edited by Stefano Spaccapietra, Paolo Atzeni, Francois Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Ilya Zaihrayeu |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (231 p.) |
| Disciplina | 401.430285 |
| Collana | Journal on Data Semantics |
| Soggetto topico |
Data structures (Computer science)
Database management Information storage and retrieval Artificial intelligence Application software Computer communication systems Data Structures and Information Theory Database Management Information Storage and Retrieval Artificial Intelligence Information Systems Applications (incl. Internet) Computer Communication Networks |
| ISBN |
1-280-81695-3
9786610816958 3-540-70664-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 23rd International Conference on Conceptual Modeling (ER 2004) -- Default Clustering with Conceptual Structures -- Workshop on Context and Ontologies: Theory,Practice and Applications (C&O 2005) -- Context Dependency Management in Ontology Engineering: A Formal Approach -- Encoding Classifications into Lightweight Ontologies -- Second International Conference on Ontologies,DataBases and Applications of SEmantics (ODBASE 2005) -- GeRoMe: A Generic Role Based Metamodel for Model Management -- Metadata Management in a Multiversion Data Warehouse -- International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2005) -- SomeRDFS in the Semantic Web -- A Tool for Evaluating Ontology Alignment Strategies -- 7th International Conference on Data Warehousing and Knowledge Discovery (DAWAK 2005) -- Processing Sequential Patterns in Relational Databases. |
| Record Nr. | UNINA-9910483906903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering [[electronic resource] ] : 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures / / edited by Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao
| Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering [[electronic resource] ] : 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures / / edited by Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 259 p. 37 illus.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Database management
Artificial intelligence Mathematical logic Information storage and retrieval Application software Data mining Database Management Artificial Intelligence Mathematical Logic and Formal Languages Information Storage and Retrieval Computer Appl. in Administrative Data Processing Data Mining and Knowledge Discovery |
| ISBN | 3-319-49493-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Understanding Author Intentions: Test Driven Knowledge Graph Construction -- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey -- Navigational and Rule-Based Languages for Graph Databases -- LOD Lab: Scalable Linked Data Processing -- Inconsistency-Tolerant Querying of Description Logic Knowledge Bases -- From Fuzzy to Annotated Semantic Web Languages -- Applying Machine Reasoning and Learning in Real World Applications. |
| Record Nr. | UNISA-996465736103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering : 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures / / edited by Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao
| Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering : 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures / / edited by Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 259 p. 37 illus.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Database management
Artificial intelligence Mathematical logic Information storage and retrieval Application software Data mining Database Management Artificial Intelligence Mathematical Logic and Formal Languages Information Storage and Retrieval Computer Appl. in Administrative Data Processing Data Mining and Knowledge Discovery |
| ISBN | 3-319-49493-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Understanding Author Intentions: Test Driven Knowledge Graph Construction -- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey -- Navigational and Rule-Based Languages for Graph Databases -- LOD Lab: Scalable Linked Data Processing -- Inconsistency-Tolerant Querying of Description Logic Knowledge Bases -- From Fuzzy to Annotated Semantic Web Languages -- Applying Machine Reasoning and Learning in Real World Applications. |
| Record Nr. | UNINA-9910484584603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transactions and Change in Logic Databases [[electronic resource] ] : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases(DYNAMICS'97), Port Jefferso / / edited by Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov
| Transactions and Change in Logic Databases [[electronic resource] ] : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases(DYNAMICS'97), Port Jefferso / / edited by Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (X, 398 p.) |
| Disciplina | 005.75/7 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Database management Artificial intelligence Computer programming Software Engineering/Programming and Operating Systems Database Management Artificial Intelligence Programming Techniques |
| ISBN | 3-540-49449-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The state of change: A survey -- Specification of dynamics for knowledge-based systems -- On active deductive databases: The statelog approach -- Active-U-Datalog: Integrating active rules in a logical update language -- Logical transactions and serializability -- Results on reasoning about updates in Transaction Logic -- The dynamics of database views -- Inductive definability and the situation calculus -- Some notes on knowledge assimilation in deductive databases -- Applications of belief revision -- Analysing rational properties of change operators based on forward chaining -- A practical approach to hypothetical database queries -- From extensional to intensional knowledge: Inductive logic programming techniques and their application to deductive databases. |
| Record Nr. | UNISA-996466120703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions and Change in Logic Databases [[electronic resource] ] : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases(DYNAMICS'97), Port Jefferso / / edited by Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov
| Transactions and Change in Logic Databases [[electronic resource] ] : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases(DYNAMICS'97), Port Jefferso / / edited by Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (X, 398 p.) |
| Disciplina | 005.75/7 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Database management Artificial intelligence Computer programming Software Engineering/Programming and Operating Systems Database Management Artificial Intelligence Programming Techniques |
| ISBN | 3-540-49449-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The state of change: A survey -- Specification of dynamics for knowledge-based systems -- On active deductive databases: The statelog approach -- Active-U-Datalog: Integrating active rules in a logical update language -- Logical transactions and serializability -- Results on reasoning about updates in Transaction Logic -- The dynamics of database views -- Inductive definability and the situation calculus -- Some notes on knowledge assimilation in deductive databases -- Applications of belief revision -- Analysing rational properties of change operators based on forward chaining -- A practical approach to hypothetical database queries -- From extensional to intensional knowledge: Inductive logic programming techniques and their application to deductive databases. |
| Record Nr. | UNINA-9910768474803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||