المؤلفون: Yibo Lai, Libo Fan, Weiyan Zheng, Rongjie Han, Kai Liu

المصدر: Energy Informatics, Vol 7, Iss 1, Pp 1-25 (2024)

مصطلحات موضوعية: Integrity constraints, Hybrid microgrid, Multiple types of loads, Incremental aggregation, Digital twin, Energy industries. Energy policy. Fuel trade, HD9502-9502.5

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2520-8942

URL الوصول: https://doaj.org/article/b1820b96307f4aa8b6b9721fa59babf0

المؤلفون: S. Aisagaliev, G. Korpebay

المصدر: Қарағанды университетінің хабаршысы. Математика сериясы, Vol 115, Iss 3 (2024)

مصطلحات موضوعية: optimal performance, integrity constraints, functional gradient, integral equation, Analysis, QA299.6-433, Analytic mechanics, QA801-939, Probabilities. Mathematical statistics, QA273-280

وصف الملف: electronic resource

Relation: https://mathematics-vestnik.ksu.kz/index.php/mathematics-vestnik/article/view/736; https://doaj.org/toc/2518-7929; https://doaj.org/toc/2663-5011

URL الوصول: https://doaj.org/article/575e19cd6748480ea1816a991670d4ce

المؤلفون: Kühne, Thomas, Jeusfeld, Manfred A.

المصدر: Conceptual Modeling Lecture Notes in Computer Science. :162-180

مصطلحات موضوعية: multi-level modeling, well-formedness, integrity constraints, Information Systems, Informationssystem (IS)

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-23337
https://his.diva-portal.org/smash/get/diva2:1808052/FULLTEXT01.pdf

المؤلفون: Ignat, Claudia-Lavinia, Elvinger, Victorien, Ba, Habibatou

المساهمون: Web Scale Trustworthy Collaborative Service Systems (COAST), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Networks, Systems and Services (LORIA - NSS), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)

المصدر: Proceedings of DisCoTec 2024 - 19th International Federated Conference on Distributed Computing Techniques ; DAIS 2024 - 24th International Conference on Distributed Applications and Interoperable Systems ; https://inria.hal.science/hal-04580135 ; DAIS 2024 - 24th International Conference on Distributed Applications and Interoperable Systems, Jun 2024, Groningen, Netherlands

مصطلحات موضوعية: replicated relational databases, CRDT Conflict-free Replicated Data Type, integrity constraints, [INFO]Computer Science [cs]

جغرافية الموضوع: Groningen, Netherlands

الاتاحة: https://inria.hal.science/hal-04580135
https://inria.hal.science/hal-04580135v1/document
https://inria.hal.science/hal-04580135v1/file/DAIS2024.pdf

المؤلفون: Chmurovic, Adrian, Šimkus, Mantas

المصدر: CEUR Workshop Proceedings CEUR Workshop proceedings. :2-13

مصطلحات موضوعية: answer set programming, graph-structured data, integrity constraints, RDF, SHACL, well-founded semantics

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-199471
http://ceur-ws.org/Vol-3203/
https://umu.diva-portal.org/smash/get/diva2:1698661/FULLTEXT01.pdf

المؤلفون: Carmeli, Nofar, Grohe, Martin, Kimelfeld, Benny, Livshits, Ester, Tibi, Muhammad

المساهمون: Représentation de Connaissances et Langages à Base de Règles pour Raisonner sur les Données (BOREAL), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Ingénierie des Agro-polymères et Technologies Émergentes (UMR IATE), Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Montpellier, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Université de Montpellier (UM)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Montpellier, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Université de Montpellier (UM), RWTH Aachen University = Rheinisch-Westfälische Technische Hochschule Aachen (RWTH Aachen), Technion - Israel Institute of Technology Haifa, University of Edinburgh (Edin.), Israel Science Foundation (ISF) under grant 768/19, German Research Foundation (DFG) under grants GR 1492/16-1 and KI 2348/1-1

المصدر: ISSN: 0362-5915.

مصطلحات موضوعية: Database repairs, Integrity constraints, Soft constraints, Functional dependencies, Database inconsistency, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]

الاتاحة: https://hal.science/hal-04617777
https://hal.science/hal-04617777v1/document
https://hal.science/hal-04617777v1/file/HAL___Database_Repairing_with_Soft_Functional_Dependencies___TODS__Copy_.pdf
https://doi.org/10.1145/3651156

المؤلفون: Момрик, Ярослава, Ящук, Юрій, Тучапський, Роман

المصدر: Electronic Professional Scientific Edition «Cybersecurity: Education, Science, Technique»; Vol. 3 No. 23 (2024): Cybersecurity: Education, Science, Technique; 42-55 ; Електронне фахове наукове видання «Кібербезпека: освіта, наука, техніка»; Том 3 № 23 (2024): Кібербезпека: освіта, наука, техніка; 42-55 ; 2663-4023 ; 10.28925/2663-4023.2024.23

مصطلحات موضوعية: code security, data security, database design, software engineering, security threat, data integrity, integrity constraints, database normalization, безпека коду, безпека даних, проектування баз даних, конструювання програмного забезпечення, загрози безпеки, цілісність даних, обмеження цілісності, нормалізація баз даних

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

Relation: https://csecurity.kubg.edu.ua/index.php/journal/article/view/560/438; https://csecurity.kubg.edu.ua/index.php/journal/article/view/560

الاتاحة: https://csecurity.kubg.edu.ua/index.php/journal/article/view/560
https://doi.org/10.28925/2663-4023.2024.23.4255

المؤلفون: Al-Janabi, Samir, Janicki, Ryszard

المصدر: Data Technologies and Applications, 2021, Vol. 56, Issue 3, pp. 429-446.

URL الوصول: http://www.emeraldinsight.com/doi/10.1108/DTA-05-2021-0108

المؤلفون: Seipel, Dietmar, Förster, Benjamin, Liebl, Magnus, Waleska, Marcel, Abreu, Salvador

المساهمون: Dietmar Seipel and Benjamin Förster and Magnus Liebl and Marcel Waleska and Salvador Abreu

مصطلحات موضوعية: Knowledge Bases, Natural Language Interface, Logic Programming, Definite Clause Grammars, Referential Integrity Constraints, Speech-to-Text

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

Relation: Is Part Of OASIcs, Volume 113, 12th Symposium on Languages, Applications and Technologies (SLATE 2023); https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2023.6

الاتاحة: https://doi.org/10.4230/OASIcs.SLATE.2023.6
https://nbn-resolving.org/urn:nbn:de:0030-drops-185202
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2023.6

المؤلفون: S. Aisagaliev, G.T. Korpebay

المصدر: Қарағанды университетінің хабаршысы. Математика сериясы, Vol 110, Iss 2 (2023)

مصطلحات موضوعية: optimal performance, integrity constraints, functional gradient, integral equation, Analysis, QA299.6-433, Analytic mechanics, QA801-939, Probabilities. Mathematical statistics, QA273-280

وصف الملف: electronic resource

Relation: http://mathematics-vestnik.ksu.kz/index.php/mathematics-vestnik/article/view/563; https://doaj.org/toc/2518-7929; https://doaj.org/toc/2663-5011

URL الوصول: https://doaj.org/article/14320cb6cb5842e39dafdb574604c392

المؤلفون: Joshua Edem Agomor

المصدر: Global Journal of Computer Science and Technology; Vol. 23 No. G2 (2023): GJCST-G Interdisciplinary: Volume 23 Issue G2; 1-5 ; 0975-4172 ; 0975-4350

مصطلحات موضوعية: data, data amalgamation, data inconsistency, data dependencies, integrity constraints, schema

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

Relation: https://computerresearch.org/index.php/computer/article/view/102335/23203; https://computerresearch.org/index.php/computer/article/view/102335

الاتاحة: https://computerresearch.org/index.php/computer/article/view/102335

المؤلفون: Carmeli, Nofar, Grohe, Martin, Kimelfeld, Benny, Livshits, Ester, Tibi, Muhammad

المساهمون: Nofar Carmeli and Martin Grohe and Benny Kimelfeld and Ester Livshits and Muhammad Tibi

مصطلحات موضوعية: Database inconsistency, database repairs, integrity constraints, soft constraints, functional dependencies

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

Relation: Is Part Of LIPIcs, Volume 186, 24th International Conference on Database Theory (ICDT 2021); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2021.16

الاتاحة: https://doi.org/10.4230/LIPIcs.ICDT.2021.16
https://nbn-resolving.org/urn:nbn:de:0030-drops-137245
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2021.16

المؤلفون: Seipel, Dietmar, Weidner, Daniel, Abreu, Salvador

المساهمون: Dietmar Seipel and Daniel Weidner and Salvador Abreu

مصطلحات موضوعية: Knowledge Bases, Natural Language Interface, Logic Programming, Definite Clause Grammars, Referential Integrity Constraints

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

Relation: Is Part Of OASIcs, Volume 94, 10th Symposium on Languages, Applications and Technologies (SLATE 2021); https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2021.16

الاتاحة: https://doi.org/10.4230/OASIcs.SLATE.2021.16
https://nbn-resolving.org/urn:nbn:de:0030-drops-144330
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2021.16

المؤلفون: Feuillade, Guillaume, Herzig, Andreas, Rantsoudis, Christos

المساهمون: Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Centre National de la Recherche Scientifique (CNRS), Simon Fraser University = Université Simon Fraser (SFU.ca), Stefan Borgwardt, TU Dresden, Germany, Thomas Meyer, CAIR and University of Cape Town, South Africa

المصدر: Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) ; 33rd International Workshop on Description Logics (DL 2020) co-located with KR 2020) ; https://hal.science/hal-03015763 ; 33rd International Workshop on Description Logics (DL 2020) co-located with KR 2020), Sep 2020, Rhodes, Online event, Greece. pp.1-10 ; http://ceur-ws.org/Vol-2663/

مصطلحات موضوعية: database repair, knowledge base repair, active integrity constraints, description logic, dynamic logic, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]

جغرافية الموضوع: Rhodes, Online event, Greece

Relation: hal-03015763; https://hal.science/hal-03015763; https://hal.science/hal-03015763/document; https://hal.science/hal-03015763/file/invited-1.pdf

الاتاحة: https://hal.science/hal-03015763
https://hal.science/hal-03015763/document
https://hal.science/hal-03015763/file/invited-1.pdf

المؤلفون: Yu, Weihai, Ignat, Claudia-Lavinia

المساهمون: The Arctic University of Norway Tromsø, Norway (UiT), Web Scale Trustworthy Collaborative Service Systems (COAST), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Networks, Systems and Services (LORIA - NSS), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)

المصدر: IEEE International Conference on Smart Data Services, 2020 IEEE World Congress on Services ; https://inria.hal.science/hal-02983557 ; IEEE International Conference on Smart Data Services, 2020 IEEE World Congress on Services, Oct 2020, Beijing, China

مصطلحات موضوعية: CRDTs, relational database, eventual consistency, integrity constraints, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

جغرافية الموضوع: Beijing, China

الاتاحة: https://inria.hal.science/hal-02983557
https://inria.hal.science/hal-02983557v1/document
https://inria.hal.science/hal-02983557v1/file/SMDS2020.pdf

المؤلفون: Kenig, Batya, Suciu, Dan

المساهمون: Batya Kenig and Dan Suciu

مصطلحات موضوعية: Integrity constraints, The implication problem

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

Relation: Is Part Of LIPIcs, Volume 155, 23rd International Conference on Database Theory (ICDT 2020); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2020.18

الاتاحة: https://doi.org/10.4230/LIPIcs.ICDT.2020.18
https://nbn-resolving.org/urn:nbn:de:0030-drops-119420
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2020.18

المؤلفون: Bogaerts, Bart, Cruz-Filipe, Luís

المصدر: Bogaerts , B & Cruz-Filipe , L 2021 , ' Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints ' , ACM Transactions on Computational Logic , vol. 22 , no. 1 , 6 . https://doi.org/10.1145/3430750

مصطلحات موضوعية: Active integrity constraints, fixpoints, semantics

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

Relation: https://portal.findresearcher.sdu.dk/da/publications/1ec31542-84e8-4649-8556-8296f7d0e3fc

الاتاحة: https://portal.findresearcher.sdu.dk/da/publications/1ec31542-84e8-4649-8556-8296f7d0e3fc
https://doi.org/10.1145/3430750
https://findresearcher.sdu.dk/ws/files/180002764/AIC_Stratification.pdf

المؤلفون: Abdallah Bensalloua Charef, Hamdadou Djamila

المصدر: International Journal of Interactive Multimedia and Artificial Intelligence, Vol 5, Iss 1, Pp 47-56 (2018)

مصطلحات موضوعية: Agroforestry, Integrity Constraints, SOLAP, Spatial Data Warehouse, Spatial Decision Support System, Spatial Multidimensional Analysis, UML Multidimensional Modeling, Technology

وصف الملف: electronic resource

Relation: http://www.ijimai.org/journal/node/2081; https://doaj.org/toc/1989-1660

URL الوصول: https://doaj.org/article/04f70bc021d6493fb28ab1040dd76cd3

المؤلفون: Alotaibi, Rana, Bursztyn, Damian, Deutsch, Alin, Manolescu, Ioana, Zampetakis, Stamatis

المساهمون: Department of Computer Science and Engineering Univ California San Diego (CSE - UC San Diego), University of California San Diego (UC San Diego), University of California (UC)-University of California (UC), Analyse et traitement de données complexes à grande échelle (CEDAR), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

المصدر: SIGMOD 2019 - ACM SIGMOD International Conference on Management of Data ; https://inria.hal.science/hal-02070827 ; SIGMOD 2019 - ACM SIGMOD International Conference on Management of Data, Jun 2019, Amsterdam, Netherlands

مصطلحات موضوعية: cross-model query rewriting, integrity constraints, query optimization, Polystore systems, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]

جغرافية الموضوع: Amsterdam, Netherlands

الاتاحة: https://inria.hal.science/hal-02070827
https://inria.hal.science/hal-02070827v2/document
https://inria.hal.science/hal-02070827v2/file/hal.pdf

المؤلفون: Oriol Hilari, Xavier, Giacomo, Giuseppe De, Estañol Lamarca, Montserrat, Teniente López, Ernest

المساهمون: Facultat d'Informàtica de Barcelona, Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació, Universitat Politècnica de Catalunya. IMP - Information Modeling and Processing

مصطلحات موضوعية: Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, Data integrity, UML (Computer science), Object-oriented methods (Computer science), Business -- Data processing, BPMN, UML, Data-aware processes, Integrity constraints repair, UML (Informàtica), Mètodes orientats a l'objecte (Informàtica), Negocis -- Informàtica

وصف الملف: 17 p.; application/pdf

Relation: https://link.springer.com/chapter/10.1007/978-3-030-33702-5_9; Oriol, X. [et al.]. Automatic business process model extension to repair constraint violations. A: International Conference on Service-Oriented Computing. "Service-Oriented Computing, 17th International Conference, ICSOC 2019: Toulouse, France, October 28–31, 2019: proceedings". Berlín: Springer, 2019, p. 102-118.; http://hdl.handle.net/2117/172934

الاتاحة: http://hdl.handle.net/2117/172934
https://doi.org/10.1007/978-3-030-33702-5_9