Semantic search
Debug output SQLStore
ASK Query
[[Category:Publications]]
SQL Query
SELECT DISTINCT
t0.smw_id AS id,
t0.smw_title AS t,
t0.smw_namespace AS ns,
t0.smw_iw AS iw,
t0.smw_subobject AS so,
t0.smw_sortkey AS sortkey, t4.o_sortkey
FROM
`smw_object_ids` AS t0
INNER JOIN
`smw_fpt_inst` AS t1 ON t0.smw_id=t1.s_id
INNER JOIN
`smw_di_time` AS t4 ON t0.smw_id=t4.s_id
WHERE
(t1.o_id=5352)
AND (t4.p_id=5194)
AND t0.smw_iw!=':smw'
AND t0.smw_iw!=':smw-delete'
AND t0.smw_iw!=':smw-redi'
ORDER BY
t4.o_sortkey DESC
LIMIT
15
OFFSET
10
t0.smw_id AS id,
t0.smw_title AS t,
t0.smw_namespace AS ns,
t0.smw_iw AS iw,
t0.smw_subobject AS so,
t0.smw_sortkey AS sortkey, t4.o_sortkey
FROM
`smw_object_ids` AS t0
INNER JOIN
`smw_fpt_inst` AS t1 ON t0.smw_id=t1.s_id
INNER JOIN
`smw_di_time` AS t4 ON t0.smw_id=t4.s_id
WHERE
(t1.o_id=5352)
AND (t4.p_id=5194)
AND t0.smw_iw!=':smw'
AND t0.smw_iw!=':smw-delete'
AND t0.smw_iw!=':smw-redi'
ORDER BY
t4.o_sortkey DESC
LIMIT
15
OFFSET
10
SQL Explain
ID | select_type | table | type | possible_keys | key | key_len | ref | rows | filtered | Extra |
---|---|---|---|---|---|---|---|---|---|---|
1 | SIMPLE | t1 | ref | s_id, o_id, s_id_2, o_id_2 | o_id_2 | 5 | const | 434 | Using index; Using temporary; Using filesort | |
1 | SIMPLE | t0 | eq_ref | PRIMARY, smw_id, smw_iw, smw_iw_2 | PRIMARY | 4 | www_public.t1.s_id | 1 | Using where | |
1 | SIMPLE | t4 | ref | s_id, p_id, p_id_2, s_id_2 | s_id_2 | 8 | www_public.t1.s_id, const | 1 | Using index |
Auxilliary Tables
No auxilliary tables used.Query Metrics
Query-Size:1Query-Depth:0
Errors and Warnings
NoneTitle | Authors | Published in | Date | |
---|---|---|---|---|
renault.22.sttt | Go2Pins: A framework for the LTL verification of Go programs (Extended Version) | Etienne Renault, Alexandre Kirszenberg, Antoine Martin, Hugo Moreau | International Journal on Software Tools for Technology Transfer (STTT) | 9 December 2022 |
kheireddine.22.apsec | Tuning SAT Solvers for LTL Model Checking | Anissa Kheireddine, Étienne Renault, Souheib Baarir | Proceedings of the 29th Asia-Pacific Software Engineering Conference (APSEC'22) | 9 December 2022 |
kheireddine.22.constraints | Towards Better Heuristics for Solving Bounded Model Checking Problems | Anissa Kheireddine, Étienne Renault, Souheib Baarir | Constraints | 9 December 2022 |
saouli.23.vmcai | CosySEL: Improving SAT Solving Using Local Symmetries | S Saouli, S Baarir, C Dutheillet, J Devriendt | 24th International Conference on Verification, Model Checking, and Abstract Interpretation | 8 December 2022 |
dziadek.23.fm | Energy Problems in Finite and Timed Automata with Büchi Conditions | Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier | International Symposium on Formal Methods (FM) | 8 December 2022 |
vallade.22.setta | Diversifying a Parallel SAT Solver with Bayesian Moment Matching | V Vallade, S Nejati, J Sopena, V Ganesh, S Baarir | Symposium on Dependable Software Engineering TheoriesTools and Applications | 8 December 2022 |
abate.22.lites | Introduction to the Special Issue on Distributed Hybrid Systems | Alessandro Abate, Uli Fahrenberg, FränzleMartin | Leibniz Transactions on Embedded Systems | 8 December 2022 |
fahrenberg.22.lites | Higher-Dimensional Timed and Hybrid Automata | Uli Fahrenberg | Leibniz Transactions on Embedded Systems | 8 December 2022 |
movn.22.pr | The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images | Minh Ôn Vũ Ngoc, Edwin Carlinet, Jonathan Fabrizio, Thierry Géraud | Pattern Recognition | 3 December 2022 |
fahrenberg.22.scp | Featured Games | Uli Fahrenberg, Axel Legay | Science of Computer Programming | 1 November 2022 |