Search Results - "ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages"
-
1
Authors: et al.
Contributors: et al.
Source: 38th ACM Symposium on Principles of Database Systems (PODS'19)
https://inria.hal.science/hal-01852475
38th ACM Symposium on Principles of Database Systems (PODS'19), Jun 2019, Amsterdam, Netherlands. ⟨10.1145/3294052.3319685⟩Subject Terms: Satisfiability, XPath, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.5: Modal logic, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]
Subject Geographic: Amsterdam, Netherlands
-
2
Authors: et al.
Contributors: et al.
Source: CSL 2016 ; https://inria.hal.science/hal-01191172 ; CSL 2016, Sep 2016, Marseille, France. pp.1--16, ⟨10.4230/LIPIcs.CSL.2016.32⟩
Subject Terms: XPath, proof systems, modal logic, complexity, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.2: Nonnumerical Algorithms and Problems/F.2.2.0: Complexity of proof procedures, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.5: Modal logic, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
-
3
Authors: et al.
Contributors: et al.
Source: 18th International Conference on Database Theory (ICDT 2015)
https://inria.hal.science/hal-01150780
18th International Conference on Database Theory (ICDT 2015), Mar 2015, Brussels, Belgium. ⟨10.4230/LIPIcs.ICDT.2015.44⟩
http://edbticdt2015.be/Subject Terms: Path queries, Rewriting, Determinacy, Views, Graph databases, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.4: Systems/H.2.4.5: Query processing, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages, [INFO]Computer Science [cs]
-
4
Authors: et al.
Contributors: et al.
Source: SEBD (Sistemi Evolutivi di Basi di Dati) ; Sistemi Evolutivi di Basi di Dati (SEBD) ; https://inria.hal.science/hal-01179477 ; Sistemi Evolutivi di Basi di Dati (SEBD), Jun 2015, Gaeta, Italy ; http://sebd2015.dia.uniroma3.it
Subject Terms: Query Optimization, Databases, Semantic Web, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.0: Data description languages (DDL), ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.1: Data manipulation languages (DML), [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]
-
5
Authors: et al.
Contributors: et al.
Source: SIGMOD '22: International Conference on Management of Data ; https://hal.science/hal-03688214 ; SIGMOD '22: International Conference on Management of Data, Jun 2022, Philadelphia, United States. ⟨10.1145/3514221.3526057⟩
Subject Terms: Property graph, Graph database, SQL, Standardization, Pattern matching, Query language, GQL, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.1: Logical Design/H.2.1.0: Data models, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Subject Geographic: United States
Time: Philadelphia, United States
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2112.06217; ARXIV: 2112.06217
-
6
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-01830255 ; 2018.
Subject Terms: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]
-
7
Differential privacy for relational algebra: improving the sensitivity bounds via constraint systems
Authors: et al.
Contributors: et al.
Source: QAPL - Tenth Workshop on Quantitative Aspects of Programming Languages ; https://inria.hal.science/hal-00760688 ; QAPL - Tenth Workshop on Quantitative Aspects of Programming Languages, Apr 2012, Tallin, Estonia. pp.92-105, ⟨10.4204/EPTCS.85.7⟩
Subject Terms: ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages, ACM: K.: Computing Milieux/K.6: MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS/K.6.5: Security and Protection, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Time: Tallin, Estonia
-
8
Authors: et al.
Contributors: et al.
Source: PSW - 1st Workshop on Programming the Semantic Web ; https://inria.hal.science/hal-00759034 ; PSW - 1st Workshop on Programming the Semantic Web, Nov 2012, Boston, United States
Subject Terms: query modelling, query languages, query graphs, abstract syntax trees, Linked Enterprise Data, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.1: Logical Design/H.2.1.0: Data models, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL/H.3.3: Information Search and Retrieval/H.3.3.2: Query formulation, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL/H.3.1: Content Analysis and Indexing/H.3.1.0: Abstracting methods, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]
Subject Geographic: Boston, United States
Time: Boston, United States
-
9
Authors: et al.
Contributors: et al.
Source: DocEng 2012 ; https://inria.hal.science/hal-00734668 ; DocEng 2012, Sep 2012, Paris, France. ⟨10.1145/2361354.2361375⟩
Subject Terms: ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]
-
10
Authors: et al.
Contributors: et al.
Source: DocEng 2012 ; https://inria.hal.science/hal-00734678 ; DocEng 2012, Sep 2012, Paris, France. ⟨10.1145/2361354.2361377⟩
Subject Terms: ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]
-
11
Authors: et al.
Contributors: et al.
Source: DocEng'09: Proceedings of the 2009 ACM Symposium on Document Engineering ; https://inria.hal.science/inria-00422964 ; DocEng'09: Proceedings of the 2009 ACM Symposium on Document Engineering, Sep 2009, Munich, Germany. pp.21-24, ⟨10.1145/1600193.1600199⟩
Subject Terms: ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.5: Modal logic, [INFO.INFO-TT]Computer Science [cs]/Document and Text Processing, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-WB]Computer Science [cs]/Web
-
12
Authors: et al.
Contributors: et al.
Source: 2007 ACM SIGPLAN conference on Programming language design and implementation
https://inria.hal.science/inria-00502789
2007 ACM SIGPLAN conference on Programming language design and implementation, Jun 2007, New York, NY, United States. pp.342--351, ⟨10.1145/1250734.1250773⟩Subject Terms: Modal logic, satisfiability, type checking, XPath, algorithms, languages, theory, verification, ACM: E.: Data/E.1: DATA STRUCTURES/E.1.6: Trees, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.5: Modal logic, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages/F.4.3.3: Decision problems, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.1: Logical Design, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Subject Geographic: New York, NY, United States
-
13
Authors: et al.
Contributors: et al.
Source: https://hal.science/tel-03583098 ; Base de données [cs.DB]. Université de Poitiers, 2021.
Subject Terms: Ontology, Database, Metamodel, Query Optimization, Query Language, Semantic Web, Métamodélisation, Ontologie, Base de données, Web sémantique, Langage de requêtes, Optimisation de requêtes, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.2: Physical Design/H.2.2.0: Access methods, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR]
-
14
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/inria-00628427 ; [Research Report] PI-1985, 2011, pp.18.
Subject Terms: Semantic Web, controlled natural language, query language, update language, expressiveness, Montague grammar, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.0: Data description languages (DDL), [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-WB]Computer Science [cs]/Web, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]
-
15
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/inria-00404761 ; 2009.
Subject Terms: RDF, labeled transition system, model checking, SPARQL, temporal logic, verification, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-WB]Computer Science [cs]/Web, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
-
16
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/inria-00336360 ; [Research Report] RR-6711, INRIA. 2008.
Subject Terms: XML, Schema, Queries, XPath, Evolution, Compatibility, Analysis, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-WB]Computer Science [cs]/Web, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
17
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/inria-00188287 ; [Research Report] RR-6360, INRIA. 2007, pp.23.
Subject Terms: semantic web, query language, RDF, SPARQL, constrained regular expressions, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
-
18
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/inria-00144922 ; [Research Report] RR-6191, INRIA. 2007.
Subject Terms: semantic web, query language, RDF, SPARQL, regular expressions, Semantic web: Query language for RDF, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
-
19
Authors: et al.
Contributors: et al.
Source: ACM International Conference on Distributed and Event-Based Systems (DEBS) ; https://hal.science/hal-01310915 ; ACM International Conference on Distributed and Event-Based Systems (DEBS), Jun 2016, Irvine, California, United States. pp.214-225, ⟨10.1145/2933267.2933306⟩ ; http://debs2016.org
Subject Terms: Knowledge graph, stream processing, incremental evaluation, RDF, semantic web, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.1: Logical Design/H.2.1.0: Data models, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.4: Systems/H.2.4.1: Distributed databases, [INFO.INFO-WB]Computer Science [cs]/Web, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]
Subject Geographic: Irvine, California, United States
-
20
Authors: et al.
Contributors: et al.
Source: https://hal.science/tel-01828183 ; Base de données [cs.DB]. Sorbonne Universites, UPMC University of Paris 6, 2018.
Subject Terms: corpus musical, artefacts graphiques, flux RSS, Digital Score Library, graphical assets, RSS, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.4: Systems/H.2.4.7: Rule-based databases, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.4: Systems/H.2.4.5: Query processing, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL/H.3.3: Information Search and Retrieval/H.3.3.3: Relevance feedback, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL/H.3.3: Information Search and Retrieval/H.3.3.1: Information filtering, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL/H.3.7: Digital Libraries/H.3.7.0: Collection, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.4: Systems/H.2.4.3: Object-oriented databases, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.4: Systems/H.2.4.2: Multimedia databases, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.4: Systems/H.2.4.1: Distributed databases, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.1: Logical Design/H.2.1.0: Data models, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.1: Data manipulation languages (DML), ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]
Nájsť tento článok vo Web of Science