Results 11 to 20 of about 290,436 (133)

Strongly Possible Keys for SQL

Journal on Data Semantics, 2020
Missing data value is an extensive problem in both research and industrial developers. Two general approaches are there to deal with the problem of missing values in databases; they could be either ignored (removed) or imputed (filled in) with new values
Munqath Alattar, A. Sali
semanticscholar   +1 more source

A Coq mechanised formal semantics for realistic SQL queries: formally reconciling SQL and bag relational algebra

Certified Programs and Proofs, 2019
In this article, we provide a Coq mechanised, executable, formal semantics for a realistic fragment of SQL consisting of "select [distinct] from where group by having" queries with null values, functions, aggregates, quantifiers and nested potentially ...
Véronique Benzaken, Évelyne Contejean
semanticscholar   +1 more source

Desolvation‐Induced Network Reformation and Cracking in the Single Crystals of Hydrogen‐Bonded Frameworks Composed of Tetraazaanthraquinone and Anthraquinone Derivatives

Angewandte Chemie, Volume 137, Issue 33, August 11, 2025.
Two solvated hydrogen‐bonded organic frameworks (HOFs) based on tetraazaanthraquinone and anthraquinone were found to undergo quasi single‐crystal‐to‐single‐crystal transformations through hydrogen‐bond cleavage and re‐formation. These transformations induced crystal crack propagations, and molecular‐level correlations between the structural ...
Haruka Kubo, Ryusei Oketani, Ichiro Hisaki   +2 more
wiley   +2 more sources

A Diazo Linker Ligand Promotes Flexibility and Induced Fit Binding in a Microporous Copper Coordination Network

Angewandte Chemie, Volume 137, Issue 31, July 28, 2025.
A family of three isostructural coordination networks differs only in the central part of the linker ligand. Whereas a linker comprising an azo bond enabled guest‐induced structural flexibility, including induced fit behavior, networks containing linkers with hydrocarbon moieties were observed to be rigid upon exposure to the same guests.
Xia Li, Debobroto Sensharma, Wells Graham, Volodymyr Bon, En Lin, Xiang‐Jing Kong, Tao He, Andrey A. Bezrukov, Zhenjie Zhang, Stefan Kaskel, Timo Thonhauser, Michael J. Zaworotko   +11 more
wiley   +2 more sources

A Coq mechanised formal semantics for realistic SQL queries : Formally reconciling SQL and (extended) relational algebra.

EasyChair Preprints, 2018
In this article, we provide a Coq mechanised, executable, formal semantics for realistic SQL queries consisting of select [distinct] from where group by having queries with NULL values, functions, aggregates, quantifiers and nested, potentially ...
Véronique Benzaken, Évelyne Contejean
semanticscholar   +1 more source

Mechanochemistry for Metal–Organic Frameworks and Covalent–Organic Frameworks (MOFs, COFs): Methods, Materials, and Mechanisms

Advanced Materials, EarlyView.
An overview is provided of the mechanochemistry of metal‐organic frameworks (MOFs) and covalent‐organic frameworks (COFs), highlighting opportunities and strategies for discovery, synthesis and reactivity studies of these materials. Mechanistic studies and comparisons to the mechanochemistry of organic solids are outlined, showcasing how advances in ...
Joseph M. Marrett, Farshid Effaty, Xavier Ottenwaelder, Tomislav Friščić   +3 more
wiley   +1 more source

Zinc and Cobalt Coordination Polymers Based on the Redox‐Active Linker 4,4′‐(Phenazine‐5,10‐diyl)dibenzoate: Structures and Electrochemical Properties

European Journal of Inorganic Chemistry, EarlyView.
The two novel Zn‐ and Co‐based coordination polymers with the redox‐active (H)PZDB−/2− linker exhibit oxidative color changes due to radical cation formation of the linker as confirmed by spectroelectrochemical analysis. The novel coordination polymers [Zn(PZDB)(DEF)2]n (Zn‐PZDB) and [Co(HPZDB)2(DEF)2]n (Co‐HPZDB) (H2PZDB = 4,4′‐(phenazine‐5,10‐diyl ...
Dietrich Püschel, Moritz Nau, Nabil Assahub, Thi Hai Yen Beglau, Nils Hufnagel, Dustin Jordan, Tobias Heinen, Till Strothmann, Markus Suta, Rainer F. Winter, Christoph Janiak   +10 more
wiley   +1 more source

Layer Sliding‐Induced Fluorescence Changes in a Flexible Hydrogen‐Bonded Organic Framework

Chemistry – A European Journal, Volume 31, Issue 46, August 18, 2025.
A fluorescence color change from blue to green of pyrene‐based HOFs was achieved by the sliding of the H‐bonded 2D network layers. Single‐crystal XRD analysis revealed that the 2D‐layer sliding forms a pyrene dimer, which results in the green color of the HOF emission including the excimer contribution.
Taito Hashimoto, Mario de la Hoz Tomás, Ryusei Oketani, Boiko Cohen, Abderrazzak Douhal, Ichiro Hisaki   +5 more
wiley   +1 more source

Tempus: An Evolutionary Mutation Testing System on Event‐Based Systems With Profile‐Based Individual Generation

Software Testing, Verification and Reliability, Volume 35, Issue 5, August 2025.
Tempus is a testing system that enhances Evolutionary Mutation Testing (EMT) by using ProfileBased individual generation (PBig). PBig generates new individuals based on previous knowledge from other programs about which operators are more likely to produce strong mutants.
Lorena Gutiérrez‐Madroñal, Antonio García‐Domínguez, Inmaculada Medina‐Bulo   +2 more
wiley   +1 more source

Charge‐Assisted Hydrogen‐Bonded Organic Frameworks: From Crystal Engineering to Multifunctional Materials

Chemistry–Methods, Volume 5, Issue 7, July 2025.
This review briefly highlights the construction of charge‐assisted hydrogen‐bonded organic frameworks using a variety of organic acids and organic bases, which feature different hydrogen‐bonding motifs, along with their applications, including negative linear compressibility, proton conduction, atmospheric water harvesting, gas adsorption and ...
Xian‐Xian Xiao, Kai Zheng, Hao‐Ran Yu, Fang‐Di Dong, Ding‐Yi Hu, Rui‐Biao Lin   +5 more
wiley   +1 more source