{"entities":{"Q1095682":{"pageid":1106434,"ns":120,"title":"Item:Q1095682","lastrevid":69827058,"modified":"2026-04-13T10:36:51Z","type":"item","id":"Q1095682","labels":{"en":{"language":"en","value":"Monitoring dynamic integrity constraints based on temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4028946"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095682$B9577248-A9AE-4A8C-8384-235FCF7714C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d59b071b6948cf9c23cab03e87c0493b107b7cf","datavalue":{"value":{"text":"Monitoring dynamic integrity constraints based on temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095682$B2FFB6C0-619B-4829-A588-129398884402","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1089819d9160e1cd3d491aa89c794c0c788b0aea","datavalue":{"value":"0632.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095682$B67F6C6F-791C-40E6-B034-B8B93EE51794","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9e13f35cb0ff299a6c0b43ac4ba586db750aaf5","datavalue":{"value":"10.1016/0306-4379(87)90004-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095682$F1DEB75E-1E92-4A0E-A2CD-5FA5A08CD1EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7ac892781478f70f1c8a7c718d3968755db59d","datavalue":{"value":{"entity-type":"item","numeric-id":915440,"id":"Q915440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095682$07F3009F-E3A4-4807-831B-9163EB288C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95441307dd2071cad596197e9745665efbd13dd1","datavalue":{"value":{"entity-type":"item","numeric-id":1095681,"id":"Q1095681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095682$99380623-5B26-4DD6-95CA-A727E760C248","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62e0251915bd7b9ecd6daf39f97f5bb27a9c612e","datavalue":{"value":{"entity-type":"item","numeric-id":82364,"id":"Q82364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095682$8E0ACA49-E76B-4B04-9E10-083B7F0DACAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1095682$D00153D8-9E9C-4A54-A1F1-012B392CB6E4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7cdb9c58bd3b4b6051d337b5bc5edc009d0fbfcc","datavalue":{"value":"Fundamental algorithms are presented to monitor database constraints expressed in temporal logic. Using an appropriate normal form, finite transition graphs are constructed from temporal formulae. Nontemporal conditions are represented as edge labels. Thus, monitoring dynamic integrity is reduced to a controlled checking of static integrity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095682$EF6E770B-02B2-402D-86EE-217DF0489375","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095682$7CB1B841-179B-48F2-89D2-2337AD1258BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095682$87277E7C-B161-4C93-92B1-FE53471D35A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf47da46bc7b4059906cc8e41f065327b32e9116","datavalue":{"value":"4028946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095682$7B599345-753D-4969-8D42-068FD810153F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e35a9bd5aeb1195fd41c267f640670a643988e90","datavalue":{"value":"dynamic constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095682$3FDE4F75-F8A1-4738-A941-67B440FB648B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e2598584114d095baf208226c411f769db662af","datavalue":{"value":"database integrity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095682$83516700-66D0-46EB-B843-2E62649D92F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e69192bbd8ec0f751ca26b7daaa7d0c050924049","datavalue":{"value":"database constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095682$EAFFA8E4-79DA-4CC4-AF84-55FBD000FE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095682$19D6E893-8455-4C95-B442-C444CC09BAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d62eaa970177aaba48a7e9ce791e4716d83a2e6","datavalue":{"value":"finite transition graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095682$00D53B26-E2F7-445F-AD3A-D1DFFA50E34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3804429b87288d5b9a6dcc5be8fc57c5d478d681","datavalue":{"value":"dynamic integrity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095682$EDE90221-2978-4343-8067-5C3925D38DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afebc06c66850a4b414a4fb0a928f8d7a1b8537b","datavalue":{"value":"static integrity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095682$BFF12BDC-9378-40E4-B9E8-A63C96906CBC","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095682$F32A8006-97A5-4A4A-AD05-3843198A658D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07dc88ac05ae9f8b10adcb92e7dbb79bb4983ec9","datavalue":{"value":"https://doi.org/10.1016/0306-4379(87)90004-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1095682$75EA8B1E-9093-4C34-BC0D-11B0EDDA50CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"596af48abeae22163dafc3d5678f91fbc9d1d7ae","datavalue":{"value":"W2076853127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095682$FB5D42C5-5FED-495F-954D-5298268BF448","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90286360c32c708b4d8bf5e489df32a3294e0442","datavalue":{"value":{"entity-type":"item","numeric-id":914364,"id":"Q914364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"202beecfdd2b6591f9f9f963344ad9bd89bebfc2","datavalue":{"value":{"amount":"+0.8413598537445068","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095682$FD68E95D-8143-4A6A-A066-C52541C0238B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0422d6f87f6bf1936f502017b6405137c82a897","datavalue":{"value":{"entity-type":"item","numeric-id":3992617,"id":"Q3992617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd2cf3f0d29fa74c45ba6ec01915a7f07f62a89","datavalue":{"value":{"amount":"+0.833247721195221","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095682$91ADFC36-403E-44C4-A6A8-B760864414A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0489e0fd5ba6572a314e69f0f58da00d5cffd6e9","datavalue":{"value":{"entity-type":"item","numeric-id":3122464,"id":"Q3122464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46bc72ab9e643b7dfe2ea437106d3793ed8ea03a","datavalue":{"value":{"amount":"+0.8256335854530334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095682$539A1CD8-25E7-4D9E-AEC2-8AE0A7950273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8fb43753e381dfd66d117dec83a0e92284ed593","datavalue":{"value":{"entity-type":"item","numeric-id":3122390,"id":"Q3122390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5043a5b0a5d9c0372eaa91c29290557288d725e0","datavalue":{"value":{"amount":"+0.8217476606369019","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095682$97FF682A-99BB-4C99-AF1E-43EC47053508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e07ae18570516766bc3dfec61d70cc7dd67883c","datavalue":{"value":{"entity-type":"item","numeric-id":915441,"id":"Q915441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6af50abd544b49721dc07d08c3112b44b36e336","datavalue":{"value":{"amount":"+0.8004429936408997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095682$880F43D0-3649-465A-95D0-EF48BC113950","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monitoring dynamic integrity constraints based on temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Monitoring_dynamic_integrity_constraints_based_on_temporal_logic"}}}}}