{"entities":{"Q578941":{"pageid":580708,"ns":120,"title":"Item:Q578941","lastrevid":49086106,"modified":"2026-01-06T14:04:38Z","type":"item","id":"Q578941","labels":{"en":{"language":"en","value":"A time bound on the materialization of some recursively defined views"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4014082"}},"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":"Q578941$1E81D0F4-29BD-4911-A0F1-41D7208F4BC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0508536cd6c1d3a8b9df2e43ee44f695797ba345","datavalue":{"value":{"text":"A time bound on the materialization of some recursively defined views","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q578941$C38119C6-E9AA-4664-ABD2-F2BB3B93C9CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47509596cf3aa334e8692fdfcd24e634f1b52bc9","datavalue":{"value":"0624.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578941$36BDAA50-85C2-4994-8386-A26CEF363FF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2027a71835f886ae75bdddca0a7805646ccd50b","datavalue":{"value":"10.1007/BF01840452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578941$0CC651F6-679A-43A8-A499-CDE82F0ECC39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"797a5947f4133e8cafb8cfe25c2f20de8d8fcad3","datavalue":{"value":{"entity-type":"item","numeric-id":578940,"id":"Q578940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578941$79F1CF17-B605-4BCA-A781-E92E967C9F0E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"65c8fa095fb5e7de7a6818fd747ab8b39647de93","datavalue":{"value":{"entity-type":"item","numeric-id":96582,"id":"Q96582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578941$AB26A575-2901-4CF5-81D7-F68D3BFD42DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q578941$77562D96-E99A-498A-88C2-CBAD3D61EC5A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ef3f424a6ceedaa6d11deba35080989bbf5ca5de","datavalue":{"value":"An important problem concerning query processing in deductive databases is how to detect the point at which further recursive processing gives no more answers to a given query. There are some cases where a termination condition exists, which is independent of the particular instance of the database. In the paper a class of simple Horn clauses is defined; necessary and sufficient conditions are given for a simple recursive Horn clause to be uniformly bounded, i.e. equivalent to a finite set of nonrecursive Horn clauses (its expansions). A weighted graph is constructed for a simple Horn clause; it is proved that the uniform boundedness of the clause is equivalent to the absence of cycles of nonzero weight in the corresponding graph. Large parts of the paper were presented to the VLDB'85 conference [\\textit{Y. E. Ioannidis}, A time bound on the materialization of some recursively defined views, Proc. VLDB'85, Stockholm (\\textit{A. Pirotte} and \\textit{Y. Vassiliou} (eds.)), 219-226 (1985)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q578941$6FE41AA2-1940-4CEA-9EB5-9809503C6CD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578941$D6DCCE7C-0A55-4759-BBFF-17582D168BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578941$CC714820-7D81-4483-B419-771EBB7A05DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578941$3BAE4A4C-2AAB-4DDE-9941-4459806AC4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c57a97ec8224598c9dd07c27d0003de648af9fc5","datavalue":{"value":"03D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578941$F165F09A-149E-42B0-BEA8-B777FEE6D9B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f39a778eabfd3842b5ed83269759d9ed166b6169","datavalue":{"value":"4014082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q578941$26C11EB3-94AE-4586-9DD5-F9B036B69D5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ed600bf10ce58de112a49dccf0eb49d31a1e1d","datavalue":{"value":"recursively defined relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q578941$D3B79F9F-B74B-4033-849C-99E4ED554FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3be20383ddbc509f975ad54c1d93acfe34fe0463","datavalue":{"value":"uniformly bounded recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q578941$90F3CCAB-6216-4053-97A5-0775556617A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"867a4785f0e748ba3df6e75deeef9adf1e4ec040","datavalue":{"value":"query processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q578941$54EB241F-6F4B-42C0-9D37-B522BEEEBB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d097e92166179fc1fcdd68d19b99f0cb17dcfc","datavalue":{"value":"deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q578941$4B9239D5-B69D-4208-9264-DFC00C8D24A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q578941$A3B4C34C-37A4-41D1-9C83-0F3EA501C4CC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"51c35cf9e29ecc4f7b8789a06cefa234a0e10657","datavalue":{"value":{"entity-type":"item","numeric-id":26796,"id":"Q26796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578941$A374DE77-51A9-45CA-A7BF-A4453976A864","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":"Q578941$1A53427A-271F-48A3-8D02-787D493091EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40de328e4ef0bb002df5ae148f526335f6b1b92d","datavalue":{"value":{"entity-type":"item","numeric-id":4199525,"id":"Q4199525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578941$3B46CA18-7886-4978-B51B-B1353734B2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8f9edc5faa2fd277810a544fb03be621def82f","datavalue":{"value":{"entity-type":"item","numeric-id":3097395,"id":"Q3097395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578941$945C66D1-B794-4FB9-B52E-358C157E954F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578941$21FBACE9-98D4-45E1-85DF-689FA8938182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b00c51201f67e59e740260c694a944ba5779880","datavalue":{"value":{"entity-type":"item","numeric-id":5607609,"id":"Q5607609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578941$9BBF3854-59C3-4E44-B6FE-5B20257B7434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578941$E7A50075-ECC4-49E4-B940-2ACED3CF8BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5deea374b82280f9bb78642ae53787a3c1d6cada","datavalue":{"value":{"entity-type":"item","numeric-id":3340205,"id":"Q3340205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578941$9596BE64-9A57-4CE0-B22A-B673AADC31C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a0b7896df6e8f63f2fe746d0040c2172c451e5f","datavalue":{"value":{"entity-type":"item","numeric-id":3766890,"id":"Q3766890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578941$664CA89B-D486-4EF5-9457-A998B3D972ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f28db7f96068e5ce3938c306e6d15e9aefa614","datavalue":{"value":{"entity-type":"item","numeric-id":3915990,"id":"Q3915990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578941$917CDE6E-D274-40E3-AE51-D4DA14775EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b402a5359a49e480b82ccfd19a92b15def2e93d","datavalue":{"value":{"entity-type":"item","numeric-id":1062477,"id":"Q1062477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578941$721C0057-1EF2-4439-B894-7184EA2E01E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef89dbb44b7c37537d3e1e48a97f18f0adc939e6","datavalue":{"value":{"entity-type":"item","numeric-id":3906490,"id":"Q3906490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q578941$CDEB0606-575A-459A-B421-08E79F4F355B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71a8c6d6b8e9491c8c6cc7ab9d31c199d3383dbc","datavalue":{"value":{"entity-type":"item","numeric-id":1123651,"id":"Q1123651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9ccdf20f270d185e1f9b4e8812c100c5b1bf112","datavalue":{"value":{"amount":"+0.800304114818573","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":"Q578941$166D808D-ACE1-4F44-BAC0-08F2B96D5167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d21dcff480e3ae9c8be620883bc6f78afa809034","datavalue":{"value":{"entity-type":"item","numeric-id":3811690,"id":"Q3811690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2ac028b9e89bd6ac2fc35cfe780f777edad52ae","datavalue":{"value":{"amount":"+0.7898036241531372","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":"Q578941$DFCAA1E7-9A09-4216-A341-EE54AC0AC8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67e33848fbdd6fd3e44bd593e804b73653260fb","datavalue":{"value":{"entity-type":"item","numeric-id":3830569,"id":"Q3830569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39f2367c35f24fb0b5686f47199d897322213d0c","datavalue":{"value":{"amount":"+0.7879483103752136","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":"Q578941$4CB37BA1-39E5-4F44-A7F1-695A4C423D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ec5ff8ff74fa231bf307d743885cca3ee3c7ae0","datavalue":{"value":{"entity-type":"item","numeric-id":3746931,"id":"Q3746931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d3a77b9ef7a33af00de6e104e63c455da2d122","datavalue":{"value":{"amount":"+0.7835937142372131","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":"Q578941$A0FC9E42-379A-4701-961B-779F296D5471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6923ff82d932926f4da9be2f94209d643be0b62","datavalue":{"value":{"entity-type":"item","numeric-id":1062477,"id":"Q1062477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5d5936023609e5321ef9dac22aac1513eb5001f","datavalue":{"value":{"amount":"+0.7815899848937988","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":"Q578941$53E434C8-62DC-41A6-8689-8C697C512054","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:578941","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:578941"}}}}}