SQL 20250923

import%20marimo%0A%0A__generated_with%20%3D%20%220.17.6%22%0Aapp%20%3D%20marimo.App()%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_()%3A%0A%20%20%20%20import%20marimo%20as%20mo%0A%20%20%20%20return%20(mo%2C)%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20nav_menu%20%3D%20mo.nav_menu(%0A%20%20%20%20%20%20%20%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%22%2Findex.html%22%3A%20f%22%7Bmo.icon('lucide%3Ahome')%7D%20Home%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22%2Fnotebooks%2FSQL_20250922.html%22%3A%20f%22%7Bmo.icon('lucide%3Aarrow-big-left')%7D%20Last%20Day%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22%2Fnotebooks%2FSQL_20250924.html%22%3A%20f%22%7Bmo.icon('lucide%3Aarrow-big-right')%7D%20Next%20Day%22%2C%0A%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20orientation%3D%22horizontal%22%2C%0A%20%20%20%20)%0A%20%20%20%20nav_menu%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%23%20LeetCode%202394%0A%0A%20%20%20%20Table%3A%20Employees%0A%0A%20%20%20%20%7C%20Column%20Name%20%20%7C%20Type%20%7C%0A%20%20%20%20%7C--------------%7C------%7C%0A%20%20%20%20%7C%20employee_id%20%20%7C%20int%20%20%7C%0A%20%20%20%20%7C%20needed_hours%20%7C%20int%20%20%7C%0A%0A%20%20%20%20employee_id%20is%20column%20with%20unique%20values%20for%20this%20table.%20Each%20row%20contains%20the%20id%20of%20an%20employee%20and%20the%20minimum%20number%20of%20hours%20needed%20for%20them%20to%20work%20to%20get%20their%20salary.%0A%0A%20%20%20%20Table%3A%20Logs%0A%0A%20%20%20%20%7C%20Column%20Name%20%7C%20Type%20%20%20%20%20%7C%0A%20%20%20%20%7C-------------%7C----------%7C%0A%20%20%20%20%7C%20employee_id%20%7C%20int%20%20%20%20%20%20%7C%0A%20%20%20%20%7C%20in_time%20%20%20%20%20%7C%20datetime%20%7C%0A%20%20%20%20%7C%20out_time%20%20%20%20%7C%20datetime%20%7C%0A%0A%20%20%20%20(employee_id%2C%20in_time%2C%20out_time)%20is%20the%20primary%20key%20(combination%20of%20columns%20with%20unique%20values)%20for%20this%20table.%20Each%20row%20of%20this%20table%20shows%20the%20time%20stamps%20for%20an%20employee.%20in_time%20is%20the%20time%20the%20employee%20started%20to%20work%2C%20and%20out_time%20is%20the%20time%20the%20employee%20ended%20work.%20All%20the%20times%20are%20in%20October%202022.%20out_time%20can%20be%20one%20day%20after%20in_time%20which%20means%20the%20employee%20worked%20after%20the%20midnight.%0A%0A%20%20%20%20In%20a%20company%2C%20each%20employee%20must%20work%20a%20certain%20number%20of%20hours%20every%20month.%20Employees%20work%20in%20sessions.%20The%20number%20of%20hours%20an%20employee%20worked%20can%20be%20calculated%20from%20the%20sum%20of%20the%20number%20of%20minutes%20the%20employee%20worked%20in%20all%20of%20their%20sessions.%20The%20number%20of%20minutes%20in%20each%20session%20is%20rounded%20up.%0A%0A%20%20%20%20For%20example%2C%20if%20the%20employee%20worked%20for%2051%20minutes%20and%202%20seconds%20in%20a%20session%2C%20we%20consider%20it%2052%20minutes.%0A%0A%20%20%20%20Write%20a%20solution%20to%20report%20the%20IDs%20of%20the%20employees%20that%20will%20be%20deducted.%20In%20other%20words%2C%20report%20the%20IDs%20of%20the%20employees%20that%20did%20not%20work%20the%20needed%20hours.%0A%0A%20%20%20%20Return%20the%20result%20table%20in%20any%20order.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_()%3A%0A%20%20%20%20%22%22%22%0A%20%20%20%20WITH%20hour_agg%20AS%20(%0A%20%20%20%20%20%20%20%20SELECT%0A%20%20%20%20%20%20%20%20%20%20%20%20employee_id%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20SUM(CEIL((EXTRACT(EPOCH%20FROM%20out_time)%20-%20EXTRACT(EPOCH%20FROM%20in_time))%2F60)%2F60)%20AS%20total_hour%0A%20%20%20%20%20%20%20%20FROM%0A%20%20%20%20%20%20%20%20%20%20%20%20Logs%0A%20%20%20%20%20%20%20%20GROUP%20BY%0A%20%20%20%20%20%20%20%20%20%20%20%201%0A%20%20%20%20)%0A%20%20%20%20SELECT%0A%20%20%20%20%20%20%20%20employee_id%0A%20%20%20%20FROM%0A%20%20%20%20%20%20%20%20Employees%0A%20%20%20%20%20%20%20%20%20%20%20%20LEFT%20JOIN%20hour_agg%20USING%20(employee_id)%0A%20%20%20%20WHERE%0A%20%20%20%20%20%20%20%20total_hour%20IS%20NULL%0A%20%20%20%20%20%20%20%20%20%20%20%20OR%20total_hour%20%3C%20needed_hours%3B%0A%20%20%20%20%22%22%22%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_()%3A%0A%20%20%20%20import%20pandas%20as%20pd%0A%0A%20%20%20%20def%20employees_with_deductions(employees%3A%20pd.DataFrame%2C%20logs%3A%20pd.DataFrame)%20-%3E%20pd.DataFrame%3A%0A%20%20%20%20%20%20%20%20logs%5B%22session_hour%22%5D%20%3D%20(-(-(logs%5B%22out_time%22%5D%20-%20logs%5B%22in_time%22%5D).dt.total_seconds()%20%2F%2060%20%2F%2F%201))%20%2F%2060%0A%20%20%20%20%20%20%20%20df%20%3D%20pd.merge(%0A%20%20%20%20%20%20%20%20%20%20%20%20employees%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20logs.groupby(%22employee_id%22%2C%20as_index%3DFalse)%5B%22session_hour%22%5D.sum()%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20how%3D%22left%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20on%3D%22employee_id%22%2C%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20return%20df%5B(df%5B%22session_hour%22%5D.isna())%20%7C%20(df%5B%22session_hour%22%5D%20%3C%20df%5B%22needed_hours%22%5D)%5D%5B%5B%22employee_id%22%5D%5D%0A%20%20%20%20return%0A%0A%0Aif%20__name__%20%3D%3D%20%22__main__%22%3A%0A%20%20%20%20app.run()%0A