المؤلفون: I. S. Chistyakova, V. A. Reznichenko, P. I. Andon

المصدر: Cybernetics and Systems Analysis. 53:963-977

مصطلحات موضوعية: Tuple relational calculus, Information retrieval, General Computer Science, Relational database, Computer science, 02 engineering and technology, Relational Model/Tasmania, Relational calculus, Data model, Codd's theorem, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Relational model, 020201 artificial intelligence & image processing, Database model

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ce666e873cf9cd09cc4d3d30c9e9ff53
https://doi.org/10.1007/s10559-017-9998-3

المؤلفون: Alejandro Aguirre, Pierre-Yves Strub, Marco Gaboardi, Deepak Garg, Gilles Barthe

المصدر: Proceedings of the ACM on Programming Languages
22nd ACM SIGPLAN International Conference on Functional Programming

مصطلحات موضوعية: FOS: Computer and information sciences, Tuple relational calculus, Theoretical computer science, Computer science, Relational database, Statistical relational learning, 02 engineering and technology, 01 natural sciences, Relative cost, 0202 electrical engineering, electronic engineering, information engineering, Equivalence (formal languages), Special case, 0101 mathematics, Safety, Risk, Reliability and Quality, Relational logic, Soundness, Transitive relation, Computer Science - Programming Languages, 010102 general mathematics, 020207 software engineering, Relational calculus, Codd's theorem, Subject reduction, Relational model, Conjunctive query, Domain relational calculus, Software, Programming Languages (cs.PL)

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1fe8c09e9bfbe27c16b19a7580e24f19
https://doi.org/10.1145/3110265

المؤلفون: Radim Belohlavek, Vilem Vychodil

المصدر: International Journal of General Systems. 46:671-751

مصطلحات موضوعية: Tuple relational calculus, Theoretical computer science, Relational database, 010102 general mathematics, 02 engineering and technology, 01 natural sciences, Computer Science Applications, Theoretical Computer Science, Candidate key, Relational calculus, Data model, Control and Systems Engineering, Codd's theorem, 020204 information systems, Modeling and Simulation, 0202 electrical engineering, electronic engineering, information engineering, Relational model, Logical data model, 0101 mathematics, Algorithm, Information Systems, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::575953a2659bb8d7d97f9b2ab46cab16
https://doi.org/10.1080/03081079.2017.1357550

المؤلفون: Hui Wang, Ivo Düntsch, Ewa Orłowska

المصدر: Fundamenta Informaticae. 148:191-206

مصطلحات موضوعية: Soundness, Discrete mathematics, Algebra and Number Theory, Statistical relational learning, 0102 computer and information sciences, Relational algebra, 01 natural sciences, Theoretical Computer Science, Algebra, Relational calculus, Computational Theory and Mathematics, 010201 computation theory & mathematics, Codd's theorem, Relational model, Conjunctive query, Gödel's completeness theorem, Information Systems, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::9e43cb23488579f0ca7ac4a621e81a30
https://doi.org/10.3233/fi-2016-1430

المؤلفون: Paolo Terenziani

المصدر: IEEE Transactions on Knowledge and Data Engineering. 28:2822-2826

مصطلحات موضوعية: Theoretical computer science, Relational database, Computer science, Statistical relational learning, 02 engineering and technology, Database design, Computer Science Applications, Relational Model/Tasmania, Temporal database, Data modeling, Relational calculus, Candidate key, Computational Theory and Mathematics, Data model, Codd's theorem, 020204 information systems, Entity–relationship model, 0202 electrical engineering, electronic engineering, information engineering, Relational model, 020201 artificial intelligence & image processing, Conjunctive query, Change data capture, Domain relational calculus, Information Systems, Database model

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d864804f8e1a779188ad5ed49aa7bc7d
https://doi.org/10.1109/tkde.2016.2585483

المؤلفون: Walid G. Aref, Qutaibah M. Malluhi, Wadha J. Al Marri, Mingjie Tang, Mourad Ouzzani

المصدر: Information Systems. 59:79-93

مصطلحات موضوعية: SQL, Theoretical computer science, Computer science, View, Relational database, Joins, 02 engineering and technology, Relational algebra, computer.software_genre, Database design, Relational database management system, 020204 information systems, Entity–relationship model, 0202 electrical engineering, electronic engineering, information engineering, computer.programming_language, Relational operator, Nested set model, Relational calculus, Hardware and Architecture, Codd's theorem, Relational model, 020201 artificial intelligence & image processing, Conjunctive query, computer, Software, Information Systems, Data integration

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8b9ecb723877f7aeb6e3d47bd9b476c0
https://doi.org/10.1016/j.is.2015.10.008

المؤلفون: Piotr Hońko

المصدر: International Journal of Approximate Reasoning. 71:89-111

مصطلحات موضوعية: Theoretical computer science, Relational database, Applied Mathematics, 05 social sciences, Statistical relational learning, 050301 education, 02 engineering and technology, computer.software_genre, Theoretical Computer Science, Relational Model/Tasmania, Relational calculus, Artificial Intelligence, Codd's theorem, 0202 electrical engineering, electronic engineering, information engineering, Relational model, 020201 artificial intelligence & image processing, Conjunctive query, Rough set, Data mining, 0503 education, computer, Software, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::02664440ccfc19e2615571b83fe85f16
https://doi.org/10.1016/j.ijar.2016.02.002

المؤلفون: Ken-Chih Liu, Rajshekhar Sunderraman

مصطلحات موضوعية: Correctness, Relational calculus, Theoretical computer science, Codd's theorem, Relational database, Algebraic operation, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, Relational model, Conjunctive query, Relational algebra, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::357f050f4a12c6c6743acf12710de24d
https://doi.org/10.31274/rtd-180813-8846

المؤلفون: Jeremy Gibbons, Nicolas Wu, Fritz Henglein, Ralf Hinze

المصدر: 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP)
86.28
86.1
Gibbons, J, Henglein, F, Hinze, R & Wu, N 2018, Relational Algebra by Way of Adjunctions . in Proceedings of the International Conference on Functional Programming 2018 . Association for Computing Machinery (ACM) . https://doi.org/10.1145/3236781
Gibbons, J, Henglein, F, Hinze, R & Wu, N 2016, ' Relational algebra by way of adjunctions ', 15th International Symposium on Database Programming Languages, Pittsburgh, United States, 27/10/2015-27/10/2015 . < http://conf.researchr.org/event/dbpl2015/dbpl2015-relational-algebra-by-way-of-adjunctions >

مصطلحات موضوعية: Software and its engineering → Semantics, SQL, Technology, graded monad, Selection (relational algebra), Computer science, 02 engineering and technology, Relational algebra, computer.software_genre, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Safety, Risk, Reliability and Quality, adjunction, computer.programming_language, Structure (mathematical logic), Science & Technology, Programming language, monad, 020207 software engineering, Basis (universal algebra), Monad (functional programming), Computer Science, Software Engineering, Information systems → Relational database query languages, Relational calculus, Theory of computation → Categorical semantics, Codd's theorem, Computer Science, comprehension, computer, Software

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e5c7860de56ba0822e45668e93716a77
http://ora.ox.ac.uk/objects/uuid:

المؤلفون: Luigi Santocanale

المساهمون: Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre (LIRICA), Laboratoire d'Informatique et Systèmes (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU), Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU), Laboratoire d'informatique Fondamentale de Marseille (LIF), Aix Marseille Université (AMU)-École Centrale de Marseille (ECM)-Centre National de la Recherche Scientifique (CNRS), My salary, Centre National de la Recherche Scientifique (CNRS)-École Centrale de Marseille (ECM)-Aix Marseille Université (AMU)

المصدر: Journal of Logical and Algebraic Methods in Programming
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2018, 97, pp.131-148. ⟨10.1016/j.jlamp.2018.03.001⟩
RAMICS 2017
RAMICS 2017, May 2017, Lyon, France
Journal of Logical and Algebraic Methods in Programming, 2018, 97, pp.131-148. ⟨10.1016/j.jlamp.2018.03.001⟩
Relational and Algebraic Methods in Computer Science ISBN: 9783319574172
RAMiCS

مصطلحات موضوعية: Pure mathematics, Logic, Computer science, High Energy Physics::Lattice, relational lattice, polymodal logic, Distributive lattice, 0102 computer and information sciences, 02 engineering and technology, inner union, Relational algebra, 01 natural sciences, Theoretical Computer Science, generalized ultrametric space, 020204 information systems, Lattice (order), natural join, 0202 electrical engineering, electronic engineering, information engineering, Algebraic number, 0101 mathematics, Mathematics, [MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT], Discrete mathematics, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], 010102 general mathematics, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Map of lattices, Undecidable problem, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], Coverability problem, Relational calculus, universal product frame, Computational Theory and Mathematics, 010201 computation theory & mathematics, Codd's theorem, undecidability, Conjunctive query, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::728301e53d52769c9ba016e33a05e9a0
https://hal.archives-ouvertes.fr/hal-01344299v3/file/0.pdf

المؤلفون: Pham Hai Bac

المصدر: Journal of Computer Science and Cybernetics. 1:20-23

مصطلحات موضوعية: Algebra, Relational theory, Relational calculus, Computer science, Codd's theorem, Domain relational calculus, Relational algebra

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::06b3292fec620a68dae8d0d4221e90d8
https://doi.org/10.15625/1813-9663/1/4/6701

المؤلفون: Matthijs van Leeuwen, Sergey Paramonov, Luc De Raedt

المصدر: Machine Learning
Machine Learning, 106(12), 1867-1904. Springer

مصطلحات موضوعية: Theoretical computer science, Relational database, relational learning, inductive logic programming, 02 engineering and technology, Relational algebra, Query optimization, Matrix decomposition, constraint learning, logic programming, Relational calculus, Artificial Intelligence, Codd's theorem, factorization, 020204 information systems, relational decomposition, 0202 electrical engineering, electronic engineering, information engineering, Relational model, 020201 artificial intelligence & image processing, Conjunctive query, Software, answer set programming, Mathematics, pattern mining

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::30b614964e017bd645973b5730e37f23
https://lirias.kuleuven.be/handle/123456789/584394

المؤلفون: Lionel Blatter, Virgile Prevosto, Nikolai Kosmatov, Pascale Le Gall

المساهمون: Département Ingénierie Logiciels et Systèmes (DILS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Mathématiques et Informatique pour la Complexité et les Systèmes (MICS), CentraleSupélec, Part of the research work leading to these results has received funding for DEWI project (www.dewi-project.eu) from the ARTEMIS Joint Undertaking under grant agreement No. 621353, and for the S3P project from French DGE and BPIFrance., European Project: 621353,EC:FP7:SP1-JTI,ARTEMIS-2013-1,DEWI(2014), Département Ingénierie Logiciels et Systèmes ( DILS ), Laboratoire d'Intégration des Systèmes et des Technologies ( LIST ), Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay-Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay, Mathématiques et Informatique pour la Complexité et les Systèmes ( MICS ), European Project : 621353,EC:FP7:SP1-JTI,ARTEMIS-2013-1,DEWI ( 2014 ), Laboratoire d'Intégration des Systèmes et des Technologies (LIST)

المصدر: TACAS 2017: Tools and Algorithms for the Construction and Analysis of Systems
TACAS 2017: Tools and Algorithms for the Construction and Analysis of Systems, Apr 2017, Uppsala, Sweden. pp.391-397, ⟨10.1007/978-3-662-54577-5_22⟩
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, 10205 LNCS, pp.391-397. 〈10.1007/978-3-662-54577-5_22〉
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783662545768
TACAS (1)

مصطلحات موضوعية: FOS: Computer and information sciences, Theoretical computer science, [ INFO ] Computer Science [cs], Dataflow, Computer science, Relational database, Property (programming), Deductive verification, media_common.quotation_subject, Theoretical approach, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Computer Science - Software Engineering, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), [INFO]Computer Science [cs], Function (engineering), Finite set, Relational properties, media_common, Code transformation, Automatic proofs, Programming language, 020207 software engineering, Software Engineering (cs.SE), Cosine transforms, Relational calculus, 010201 computation theory & mathematics, Codd's theorem, C (programming language), Program execution, Other properties, computer, Specification and verification

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2b7b5798b46be3f257d5953c00cf648f
https://cea.hal.science/cea-01808885

المؤلفون: Shangyu Luo, Michael Gubanov, Zekai J. Gao, Chris Jermaine, Luis Perez

المصدر: ICDE

مصطلحات موضوعية: SQL, Theoretical computer science, Scale (ratio), Dataflow, Relational database, Computer science, 02 engineering and technology, computer.software_genre, Database design, Relational database management system, 020204 information systems, Spark (mathematics), Entity–relationship model, 0202 electrical engineering, electronic engineering, information engineering, Scaling, Database model, computer.programming_language, Distributed database, business.industry, Deep learning, Computer Science Applications, Relational calculus, Computational Theory and Mathematics, Analytics, Codd's theorem, Linear algebra, Scalability, Relational model, 020201 artificial intelligence & image processing, Conjunctive query, Artificial intelligence, business, computer, Software, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::06fe839420c973423891b90c1b1bb545
https://doi.org/10.1109/icde.2017.108

المؤلفون: Antonio Badia, Anna Wagner

المصدر: IEEE Transactions on Knowledge and Data Engineering. 26:1617-1630

مصطلحات موضوعية: SQL, Theoretical computer science, Programming language, Computer science, Relational algebra, Query language, Relational operator, Query optimization, computer.software_genre, Language Integrated Query, Computer Science Applications, Computational Theory and Mathematics, Null (SQL), Codd's theorem, Conjunctive query, Sargable, Query by Example, computer, Boolean conjunctive query, Information Systems, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ef7f204b70d46d3e3576292f5ccdfde9
https://doi.org/10.1109/tkde.2013.55

المؤلفون: Davide Martinenghi, Riccardo Torlone

المساهمون: Martinenghi, D, Torlone, Riccardo

المصدر: The VLDB Journal. 23:747-769

مصطلحات موضوعية: Theoretical computer science, Computer science, Relational database, View, Query relaxation, Relational algebra, Query language, Query optimization, Data model, Expressive power, Query languages, Taxonomy, Hardware and Architecture, Information Systems, Search-oriented architecture, Query expansion, Web query classification, Schema (psychology), Logical data model, Query by Example, Equivalence (measure theory), computer.programming_language, Hierarchy, Web search query, Data domain, Spatial query, Codd's theorem, Relational model, Conjunctive query, Sargable, computer, Boolean conjunctive query, RDF query language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::01f5bae440dd0451fb9ccd28da09accf
https://doi.org/10.1007/s00778-013-0350-x

المؤلفون: Eduard Bartl, George J. Klir

المصدر: International Journal of General Systems. 43:1-18

مصطلحات موضوعية: Fuzzy classification, computer.software_genre, Defuzzification, Computer Science Applications, Theoretical Computer Science, Algebra, Relational calculus, Control and Systems Engineering, Codd's theorem, Modeling and Simulation, Fuzzy mathematics, Fuzzy number, Fuzzy set operations, Fuzzy associative matrix, Data mining, computer, Information Systems, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ee3f6d5af30c51e2cf3b24594fa3f733
https://doi.org/10.1080/03081079.2013.850197

المؤلفون: Angelika Kimmig, Esther Galbrun

المساهمون: University of Helsinki, Helsinki Institute for Information Technology (HIIT), Aalto University-University of Helsinki, Department of Computer Science - K.U.Leuven, Catholic University of Leuven - Katholieke Universiteit Leuven (KU Leuven)

المصدر: Machine Learning
Machine Learning, Springer Verlag, 2014, 96 (3), pp.225-248. ⟨10.1007/s10994-013-5402-3⟩

مصطلحات موضوعية: Theoretical computer science, Relational database, Relational data mining, Redescription mining, Statistical relational learning, 02 engineering and technology, computer.software_genre, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Relational calculus, Relational query mining, Artificial Intelligence, Codd's theorem, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Relational model, 020201 artificial intelligence & image processing, Conjunctive query, Data mining, Graph mining, Domain relational calculus, Inductive Logic Programming, computer, Software, Mathematics

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e7acb622be02794ed3116fb9729e79bf
https://doi.org/10.1007/s10994-013-5402-3

المؤلفون: V. S. Subrahmanian, John Grant, Maria Vanina Martinez, Cristian Molinaro

المصدر: IEEE Transactions on Knowledge and Data Engineering. 25:1254-1271

مصطلحات موضوعية: Information retrieval, Computer science, Relational database, Relational algebra, computer.software_genre, Computer Science Applications, Data modeling, Operator (computer programming), Relational calculus, Computational Theory and Mathematics, Codd's theorem, Relational model, Conjunctive query, Data mining, computer, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f3f19ffd7c1a69dcce6fddd1bbf0cce4
https://doi.org/10.1109/tkde.2012.91

المؤلفون: P. Terenziani

المصدر: IEEE Transactions on Knowledge and Data Engineering. 25:1181-1185

مصطلحات موضوعية: SQL, Theoretical computer science, Spatiotemporal database, Computer science, Relational database, Statistical relational learning, Relational algebra, Database design, Data modeling, Entity–relationship model, Change data capture, computer.programming_language, Database model, Computer Science Applications, Relational Model/Tasmania, Temporal database, Nested set model, Relational calculus, Computational Theory and Mathematics, Data model, Codd's theorem, Relational model, Conjunctive query, Database theory, Domain relational calculus, computer, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a0b5b2e283cbd443d07efffe78bb0fdb
https://doi.org/10.1109/tkde.2011.265